 The Duval County Courthouse and all its real estate records were destroyed in the fire.To this day real estate deeds in Duval County refer either to "the current public records of Duval County, Florida" or, if the records predate the fire, "the former public records of Duval County, Florida.