I had mine replaced with a fairly cheap one from ECP. OEM Sanden ones are often £400.
If it's still available I think it was Paul that had one in the for sale section.
Silly cheap too to say its a Sanden compressor
My ECP one is still fine and it's coming up to 2yrs old