Foot is right; according to another source, the red light IS an indicator of mismatched RPMs. Ok, to further expose my ignorance, what is the fix, replace the compressor?