Hello all, I have a maintenance question that I could really use some help on. I have a 2007 Hino 338 with a leaking head gasket which is causing my engine to run hot. The question that I am posing is this...would it be better to have the head gasket fixed for around $3500 or just suck it up...