It’s interesting as I’ve never knowingly encountered any bad air in there and have been a lot. There’s lots of water movement and a good draught generally.
I wonder if it’s bad air in terms of what’s permissible for someone “at work” to be exposed to?