NFL legend Tom Brady and model Gisele Bundchen apparently got a taste for the saline air of coastal Florida when they took a short-term lease from fellow pro athlete Derek Jeter in the spring of this year.

They must’ve liked the hammock-inducing atmosphere, as they sold their penthouse in the Robert A.M. Stern-designed limestone building 70 Vestry for $40 million earlier this month, and their Robert Landry-designed manor in Massachusetts is off-market, but will likely see the open market again in the spring of next year. A primary residential migration may be in the works.

The couple spent the summer at the 1.2-acre waterfront property locals refer to as ‘St. Jetersburg’, but as the end of the season loomed the horsehide-walloper listed the 22,000 sq. ft. mansion for $29 million, leaving the pigskin-chucker and his wife to find new accommodations. Not to worry; Brady reportedly found a suitable spot a bit further south in a particularly affluent corner of the greater Miami Beach area. And he bought himself a boat, too. But that’s another story.

The house is a beaut—a 1948-built French Colonial plantation-style with period charm to spare and key renovations to keep it up-to-date—and, at just under 5,200 sq. ft., considerably more manageable than Jeter’s beached leviathan of a custom-built. It contains five bedrooms and five baths.

The Indian Creek property is mighty compelling taken as a whole. The grounds measure 1.84 acres, and the house is situated nearly equidistant from the street and the water on the rectangular lot, allowing for considerable expanse of lawn in front and back. It ultimately might end up making way for a new build, however. Across the road is the Indian Creek golf course.

The home listed at $29.5 million in the spring of 2017; the pair closed on it for $17 million.