The compressors for our XK's are much easier to come by.

I'd do as recommended... replace it yourself and then bring it to the shop to charge up the system.