Fire alarm!

At 1:00 am. The very loud fire alarm went off right after a big boom
of thunder. We and all of the other guests went out into the hall to
find out if there was a fire. No fire, but it took mgmt about 15
minutes to turn it off. Oh, and the fire dept never showed. Back to
sleep - I hope.