Things look better this morning (7:30AM CST 12/11/2020) on the webcams; is the pool open today?
It's gotta be - it's a beautiful morning. Dive with Martin has a Facebook page that they update when the port changes, it was open yesterday and I seen no post saying otherwise.