Anybody know the shop hours to swap the head gasket? Also, does anybody have the shop manual I could burn a copy of?