Yeah.. no idea on a red plug in that area either. And I've been in/under too many not to recognize it. Unless it's for the air pump that came in some. Mostly 00+

On the Hvac.. it's the vac line. 100% positive unless your thingee in the dash is broken.