Someone from Facilities named Modesto came out to the QIL to see the problem with the HVAC. He measured 80F coming out of the hot vent (when its thermostat was set to 68F) and 65F coming out of the cold vent. He was able to drop the hot vent to about 62F by turning the set point down to 55F (so the controller is at least working).
I asked that he set it up that both units are controlled by one temperature sensor. So he’s going to disconnect the hot vent controller from it’s thermostat and tie it into the thermostat for the cold side. This seems reasonable but could be potentially problematic if the HVAC units have significantly different responses.
Anyway, the current plan is for him to come in on Friday to do this work