Two years later... I finally found a shop that would use parts I bring in. So I bought that Hyundai OEM compressor from rockauto, thankfully still only $288. I also bought a new condenser ($75) and expansion valve ($20).
Replacing all that wasn't difficult, just a bit time consuming. I helped the mechanic do a lot of it. You have to remove the front bumper (easy, just follow the FSM). I had to remove the strut tower brace I added to get access to the expansion valve. Removing that is just 3 bolts. Replace all o-rings on all AC lines that have them.
The shop had the proper refrigerant extraction/storage device to empty the system, of course.
Removing the compressor wasn't bad at all. Just remove the drive belt, unplug the electrical connector, remove the two AC lines, and there are just 3 bolts holding the compressor in place. Doing this on a lift was so nice.
The condenser took a bit more work. You have to remove the top radiator support bar. It's just a series of bolts that hold it all in place. The FSM shows where they are. Then the condenser just slides right up. It's not bolted onto anything. There are 4 tabs that slide into holders on the radiator. Again, replace all o-rings you encounter.
We also replaced the high and low side valves. You need a special tool to unscrew/screw those valves.
The mechanic calculated how much PAG oil needed to be added to the system, so I trusted him on that. We added the PAG oil to the condenser and tilted it back and forth to get it all in and distributed a bit.
Before we put everything back together, we charged the system and fired it up to test. No leaks, AC immediately began blowing cold air. We then adjusted refrigerant to get the pressures right. The drive home in 95+ heat was so nice and cool.
I ended up only taking a few photos.