How exactly does warranty coverage for expensive HVAC systems work?