Thanks for the various suggestions, but my understanding is that if the refrigerant had leaked out, such as through a ruptured hose, the pressure sensor would prevent the compressor from engaging. As my compressor does engage, I don't think the problem is low or missing refrigerant.
I'm still looking for a shop that has experience with Mini a/c but is trustworthy and charges less than the dealers.