I recall reading that the pool was closed at the beginning of covid and haven't followed this thread since then and don't recall if it was a permanent closure or temporary one due to covid.

No need to be so snarky...