Now that there is more information on Florida's Phased re-opening, and it sounds like June 1st is pretty agreed upon for the official opening, does anyone here think Disney will roll a soft opening for the week before with Florida resident guests of resorts that were already booked to get things back up to operations before the June 1st swarm?