@bender@twtxt.net Ha, I remember these from our trip to Florida ~30 years ago:

https://movq.de/v/481950c023/pool.webp

(Yep, it was a rainy day. 😂)