Buying a replacement and the options seem to be an integrated barrel lock, a small padlock through a hole, or one of the magnetic ones.
Every listing says theirs is the most secure. What I actually want to know is which of these still works after a year of showers, sweat and being knocked about, because reliability matters more to me than security. There is nobody trying to break into this.