Milton knocks out power to millions and spawns 150 tornadoes across Florida. At least 4 dead

Some reports say 9 dead. I saw somewhere that 72 was the max number of tornadoes within a short time period. Anyone know if these tornadoes are setting a record?