Outside Hard Rock Stadium for the Miami Open, in Miami Gardens, Fla., March 25, 2023. Five years ago, the Miami Open had to abandon Crandon Park on Key Biscayne for Hard Rock Stadium and its parking lot. The new venue remains a work in progress. (Sco