What’s being replaced to the tune of $9 million isn’t the physical HVAC system but the old, glitchy software that controls it.