I think the person manning the desk is also the person cleaning the shower rooms. I have noticed 2 people staffing the showers after 5PM. Dont know about earlier times.

I usually give one of them a 5$ tip. If they are busy cleaning, I actually wait for them to return.

As someone else mentioned, their job is much more difficult and can be unpleasant as well.