No noise since Dec?

I don't know if there's any staff working at the school, but I have not heard the noise since around December 20th. So either they fixed the boilers over the Christmas break, or the school hasn't reopened yet. Let's hope it's the former.