A gas leak in a fully operational Hotel seems highly unlikely. The safety protocols of a building ng of multiple occupation are extremely stringent.
The build up of gas required to create an explosion of that magnitude would have to be significant. You would smell it inside and outside the hotel for days on end.