Old Key West Pool Hours

[MickeyMinnieMary]

I was wondering if anyone happens to know the hours for the various pools at OKW in October? If not, do you know when monthly pool hours are typically posted? Is it the 1st of the month?

Thanks!