My wife drove our 1994 E320 about 5 miles with a badly leaking head gasket. The car then would not start and was found to have a#1 cylinder full of glycol. Should I have dealer remove the head thinking it is the headgasket or head, or should I just change the engine?