We're there for 11 days in July/August so I hope it's open as well.
I'm hoping they've changed their policy about the people who drop their towels on chairs right when the pool opens to reserve them but don't come back until hours later. Mirage and Venetian started to monitor that over the past few years.
I've also read that Flamingo changed their family pool to the one that used to be the adults only pool and the adults only pool is now the bigger main pool. I think they used to charge to go in the adult pool area but it is now free (I think).