One thing I realized last time I was there is that the WiFi appeared to be on the 2.4GHz band only--I had my laptop set to 5GHz only and it wouldn't even see the WiFi until I changed it, after that it worked fine for me, at least to the extent I was using it.
So anyone there who's not seeing any connectivity at all may be able to double-check that. If they are getting connected and it just is terribly slow, well, yeah, the 2.4 band does kind of suck and is tricky to get right in large-scale setups. Hopefully the renovation may upgrade that as well, though it's possible they could just wait until it's all done to switch over all at once (running two networks out of the same building can also be tricky)