EDIT: Just learned that my town got the record for Florida: 10", 2.5" more than Pensacola next door.