Resolving to Swapped the Card, Not the Habit: Session Length and Peak Occupancy in the Gym Sauna Before and After a Safety-Scare Timer Swap…