A public pool is overseen by the health department, I can't just switch from trichlor to anything else. That would require a remodel permit and redoing the entire plumbing to accomodate for the replacement disinfectant, which would require demolishing the hotel tower with over 1000 rooms to build a larger pump room.