The good news is that the new head gaskets do not seem to have the problem so once new head gaskets are installed the problem does not seem to reoccur. I hope they replace both of your head gaskets while they have your Gator torn apart. Just getting access to the engine is the worst part of the job. It's amazing how much it looks like a plucked chicken with most of the body panels off.