I spend a fair amount of time in Tallahassee, and have yet to see any "No guns in here" sort of sign such as we have in Texas.
Since the Florida carry-law is paramount over municipal ordinances, I'd guess a licensed carrier, if present, could have shot the bad guy.
What little I've seen on the "nooz" indicates the hotel employee only shot at people he knew--indicating he was not around a customer-area. On the street, in his car-jacking, he was probably "hit-and-gone" before anybody could have reacted...
FWIW, Art