If the compressor was working well before it lost charge and is not noisy, I would seal the leak, add a few ounces of oil and recharge.

Good luck,