So stupid question, but are you certain that the leak was from the compressor or whether a leak from somewhere else caused the compressor failure? Also, I always have uv dye oil on hand and use it whenever recharging or replacing pag oil since why not? That why I can see future leaks!