Don't know - I think they're in a T-38. The heater in fighter aircraft works VERY WELL. My father in law had one go bad in an F-106, he thinks the cockpit heat went over 100F easily!!!
That student seemed not to grasp the english language well besides being clueless....