Glad to hear it's working!Turns out the coolant was low. They refilled it and let it defrost a bit, water came pouring out the condensate line. It's now nice and cool inside.
Cost $400 for the trip and the coolant, but its worth it to have it be so much cooler inside.
Out of curiosity, where was the refrigerant leak located?