Sprinklers typically work from a roof tank. As I said: no one died. No need to over-react.

And you’re complaining about extravagant spending, but upset that they’re not spending more money on a student that annoys one of yours. What gives?