How much to replace head gasket - much shaking of head at local garage with quote of £1000 if cylinder head has gone. Would a head skim solve any warping? Time quote for job would be better than just a straight labour charge - is 4.5 hours realistic for this engine?