Welcome to the forum
Good question. I know for a fact that RVP/Coleman prefers to repair and not replace basement airs but not sure about roof air.
Give Winnie a call Monday and talk also to your dealer. You might try calling RVP (I'm pretty sure they manufacture the Coleman line.)
How did you determine the compressor failed?