Day 12.032: Any port in a storm?

On my business trip, I couldn’t help wondering if everyone was expected to use this door in the case of a tornado warning:

I was relieved in more ways than one to discover the Men’s room -out of sight around the corner - was also a designated tornado shelter.