>>829のジム内の状況でいろいろ変わるな
まずマナーとルールは別物であり、マナーは守るべきものでルールはときとして臨機応変に破るものだ

爺さんと2人きりの状況だった場合、爺さんが11:35分から開始するのもアリだし20分使用ルールがあるといえど>>829が11:00〜11:35分まで使うのもまぁアリだろう
(この35分間が>>834のいう35分という数字だな>>838)
複数人いる状況なら自分はきっちり20分使って、間の15分でいいなら第三者のモノになる

>>831と>>833は爺さんが11:35から予約してるのに、11:20から11:40まで使うってことか？それはどうなんだろうな

という感じで揉めだすので、やはりスタッフに報告して改善してもらうのがいいかと
直接注意しちゃだめよん