Previously unknown. I was told at the front desk that these keys were used during the summer and the "Thursday Night Swim" promotion has ended.