Be rational, it may have been a 4 year old boy who accompanied his mother to the bathroom.
I didn’t let my sons use the men’s room until they were nearly 7 and pitching fits about being old enough to go alone.
Valpal - I didn’t let my son use the men’s restroom either/ especially at the University pool near us. There was some bit of stink, but not enough to stop me.