Jaguar Repair Problems? Ask a Jaguar Repairs Expert.
Yes it does sound like a problem with the compressor. It may have been damaged due to the leaking shock. In most cases it cannot provide enough pressure to keep the system fully pressurized. As far as the cost there are reman units available. As far as rebuilding these it can be a little tricky in sourcing the parts. They can be replaced relatively easily and you can get an afterarket unit from online sources as well as from Arnott.