I'm with you that it seems odd that it's the refrigerant, since it was blowing cold before the stop. It's also odd the
...compressor would go out like that. I'm wondering if it's neither, but maybe something electrical instead. Should I assume they checked the fuses already?