Thought you might want to know that this, along with the Flamingo pool bar, was sold to a gentleman from Los Angeles that has other restaurants in other Diamond Resorts. Sale took place July 1.