Have you jrfags seen this on sotheby's realty?
'Pumpkin Key' for sale Key Largo, FL features a pic of the Kennedy yacht.
https://www.sothebysrealty.com/eng/sales/detail/180-l-84026-gps3z5/pumpkin-key-private-island-in-the-florida-keys-at-ocean-reef-club-ocean-reef-community-key-largo-fl-33037
looking at the mansions for sale in the US is opening a few rabbit holes…
like Sam Wyly…his place is for sale in Colorado. It goes up for auction Aug 3. I started following that rabbit hole and found a reference to 'IBM and the Seven Dwarves' on the Wyly Wikipedia.
Link to Circle R Ranch for sale (Sam Wyly's):
https://www.sothebysrealty.com/eng/sales/detail/180-l-963-82ynpj/circle-r-ranch-woody-creek-co-81656
https://en.wikipedia.org/wiki/Sam_Wyly