Just a quick question please.....have tried to pull up info on the CORAL REEF RESTERAUNT....at epcot.....we are arriving in two days at WDW....and have reservations for Sunday....found some post from last October....which stated that it was undergoing some work.....is it open or not:veryconfu but cannot find any other info on it.