I have heard that they have been working on repairing the pool at Mt Vernon. Anyone have any updates as to the progress and/or possible opening date?

Tia