Am here myself and haven’t seen anything official. It also looks like they took the underwater cable out which is kind of a bummer... I’ve gone all the way across the lake in every direction a couple times and haven’t seen it.

Bummer abt the cable. What time have you been going in? I wouldn’t mind getting in a swim later. Tomorrow I hope to do the IM bike course. One loop

All different times and my place overlooks the lake so I peak periodically. Seems to be 1-6 people in the lake swimming at most times, saw a couple groups of maybe 3 but assume they are traveling together. I leave tomorrow so going to go for a nice evening swim today