hello guys, ive asked this question before but nobody responded. i went to a local shop and had them look at this and they are saying i need a new passenger head gasket and that i might as well do both since im doing one, they quoted me almost $5000 and i almost passed out. the truck is running...