Good question. When the bottom fell out of the economy, Trump lowered the price of the Marina from $315 million to $270 However to this date, nothing has been finalize yet.
In the casnio business especially in A/c it over till the fat lady sings.

I would probably be rich if I had a buck for each proposed deal that never came to fruition.

As far as Jimmy Buffet buying it, yes there will be an "involvement" by hime but he is not the one who is buying it.