3:40pm update: water is back on

At 3:40pm this Wednesday May 21st, the water has been restored in the whole district. (See posting below for context.)