What are the names of the tornado that hit Florida?

Tornadoes do not have names, hurricanes do. Tornadoes are often referred to by the places they hit. Some notable ones include the Miami tornado of 1997, the Kissimmee tornado of 1998, and the Groundhog Day tornadoes of 2007.