It would be good to ask the mechanic to explain to you how they are sure that it is the head gasket — head gasket problems often share symptoms with other problems. (mechanics.stackexchange.com)
In the end the mechanic discovered it was caused by bad oil, it was not head gasket problem, just clogged drain on the front end of the engine and nearly clogged in the back. (mechanics.stackexchange.com)