I just read on TMZ that the storm surge in Key West was just three feet. And that the Hemingway Kitties and Hemingway House staff went through the storm unscathed.
Irma may have passed just to the east of Key West. I bet some of the more eastern keys had a higher storm surge.