during previous two visits I specifically asked if any gaskets should be replaced. The serviceman that was here yesterday was very knowledgeable, but was here for four hours on overtime. not happy having to pay $1000 for a problem that wasn't fixed only diagnosed, and is now going to cost multiple thousands to fix.