Toilet being repared

We're now at Washington D.C. Dulles airport. As there seems to be an issue with one of the toilets, they have a guy working on it. Unclear if this will lead to any delays.