I think Disney’s mostly just hurting themselves and not our state with this one. Something that will be interesting to watch is the growth in attendance in non-Disney owned theme parks compared to Disney’s parks this year. That will be a tell in the end. Otherwise, I fully expect the Free State of Florida to have a record year for tourism this year.