I’ve even tipped one of the people who clean the shower rooms. This little old guy did a very thorough job of cleaning the shower room I was going to use and was very polite when I was going in. He provided me with an extra hand towel that I asked for. The mop was probably taller than him.

Repeating my earlier comment:

Each to their own.