It's likely that a failure somewhere else caused the failure of the compressor. They usually last more than 40k when repaired by a competent professional.