When I was a child, I'm fairly certain that the Pond Hotel had a swimming pool. I'm sure it's where I got my first lessons. However, a quick Google shows nothing about this. It certainly doesn't have one these days, but have I invented this memory in my head or did it used to have a pool?