>>732
ものすごいどうでもいい話にマジレスして申し訳ないが。
設置数、一回当たりの所要時間、一日当たりの利用回数を勝手に想定して計算したら、「利用中に誰かに遭遇する確率」だと、トイレより風呂の方が20倍から30倍ほど高くなった。