After a bit it stopped, and we went back to sleep....
Wonder what it was?
The main tornado/tornadoes were from 3:05AM to about 4:15AM.
Florida really has a shockingly large number of tornadoes and a lot go through in the middle of the night...
I imagine a lot of people will buy the automatic weather radios that go off when they get a tornado warning to wake them up now. Or get them for their retired parents.