If it's just the gasket then I wanna know that they smoking at that auto shop cause I want some. The gasket costs like $60 MAX and if you know how to unscrew stuff you can install it yourself. Cylinder head really shouldn't cost that much either. Although, I just realized you're talking about an accord and I know about Civics. Still shouldn't cost that much.