But now it can be known:

Bernadette Casey Smith, daughter of the late former CIA director William Casey, has sold Estrella del Mar, her family’s North End oceanfront house at 1240 N. Ocean Blvd. for $6.8 million, according to a warranty deed filed Thursday afternoon.

Most recently listed for $8.5 million, the 10,000-square-foot Spanish-style main house is situated on nearly one acre across from the ocean. A beach cabana is included on an additional direct oceanfront parcel. The eight-bedroom compound included a guest house and a two-bedroom staff suite.

Elizabeth Cleckner and John Pangborn, associates with Corcoran Palm Beach, represented the seller; Crissy Poorman, an agent with Sotheby’s International Realty, and Mary Ann Cleckner, a broker with Real Property Palm Beach, represented the buyer.

The house is about halfway between where I grew up and the Inlet.  I went to Palm Beach Day School with John Pangborn.