I'm trying to plan a birthday trip to DIsneyland in early June, but really want to go after Pixar Pier is open. Has anyone heard a date (other than "summer of 2018") on when it would be opening?