Assuming the mechanic is right about the bad parts, I'd look for a used compressor (see if you can find one that's not got too many miles on it) and replace it myself. I wouldn't try to replace the seal myself.
If he found no refrigerant in the cabin, then you probably don't have a bad...