Glad to see yours is sorted, Luke. I'd love to see the bill your dealer sends to VW!
I still haven't had mine looked at yet, but I did find new compressors for £250-400, that was with an hours worth of research. Stupidly, I didn't save it but I'm sure Euro Car Parts was pretty cheap! Their site is down so I can't confirm this!