You can look all you want- it’s built on public land so the stadium is publicly owned property (taxpayers own it).  The Miami Marlins use a Dade County Stadium, but it’s not theirs.  It’s also publicly owned land.  HRS is privately owned.  Miami rents to play there.  No different than when Miami played at the Orange Bowl, it’s just that Miami rented the publicly owned property as did the Dolphins at one point.