Q: will the repair shop have to do anything with the AC to repair header gasket? on 2004 Jeep Liberty

Rookie cbe0621eac06868b3efe0d8d1d3611e23c60d3114864ea2ec19a68cfbd3eebab
I called a repair shop for an estimate on a header gasket replacement and they said they might have to flush the AC and refill it for this and I was wondering if they are going to need to do it or not. please and thank you.
(1) Answer
the only reason they would have to do that is if they have to take compressor off to get it out of the way, but you can usually pull the compressor out of the way while still leaving it hooked up...