So the inside of the condenser was all blacked and gooey, the pipes were salvageable though. The guy suggested that I get the condenser replaced as well. So the final stuff that was put on was,
A used denso compressor (non repaired, original seals intact)
New condenser
Some valve thing
AC gas
The final bill was 20,500. I felt the compressor was a tad on the expensive side at 15,500 but the result is well worth it, the AC works like it used to when the car was new.
I asked about why the compressor failed as they usually keep going well into a cars life and the guy said that its usually poor maintenance.