According to the National Weather Service, the rain gauge at Key West High School measured 6.87 inches, “most of it in just three hours this AM,” the agency said in a statement on X Monday night.