The staff was great. Cheerful and helpful. Kudos to the team there, especially in the heat we’ve been having.