I'm at the beach right now. Just had high tide of 13.79. I think we might've had some flooding as well, because the water came up over the top of the bulkhead past the usual high tide line. I've never seen it this high in 50 years of visiting this place.