Hi,
I would go ahead with the gasket replacement. Once you get the vehicle back, pay attention if there are any issues. If there are any other related issues, they should show up quickly.
I double-checked to make sure there were no technical service bulletins or recalls related to the cylinder head gasket, and there are none. So at this point, it doesn't appear to be a common problem.
When you get it back, pay attention to power, note if there is excessive white smoke from the exhaust, and keep an eye on the engine oil to make sure there is no evidence of coolant mixing with it.
I'll be here, so if you have questions, feel free to ask.
Take care,
Joe
Monday, November 13th, 2023 AT 9:48 PM