Poor girl. When we first moved here in the 70s, we saw a gator under our sewer grate, which lead to a canal. My Dad called it in and an Ocean World guy came and took it out. We measured it on our front lawn. It was 5’9”. What an experience.
The difference between a 6 footer and 10 footer is amazing.