The general wifi is provided by the Estrel and should be also 'visible' in the lobby etc.
But the chances of successfully using it… it is a mixed bag. The coverage is not the issue… the 2500 nerds with each 3-6 wifi-enabled devices on them is!
So your link quality might vary massively and you will have no fun using the wifi, I can tell you! I very much recommend finding yourself a friend with a good data plan and only get your wifi-dosis when around this friend.
General security advice: If you use the Esterl Wifi or *especially* when you use some other open Wifi, use a VPN or make at least sure you fetch your mail, messages or websites via TLS secured connections.
Best wishes,
Token