Anyone have any idea if the Alamo car rental location at the Dolphin is going to reopen? It's viewable on the Alamo website, but the hours are listed as closed 24/7. We usually stay at the Boardwalk so it's super convenient to pick up or drop off a car at that location.