In this case the city proactively made all its files available for the building.

In general, that doesn’t happen (perhaps in Florida it does, I have no experience there). But most cities will only release their record drawings if you have permission of the owner.