The school district spent big money on those years ago, some of them for 6” pipe. They didn’t do cshit. I think the AC foreman and plumber foreman were getting kickbacks for the district buying them. About 60 buildings had them back then.