John - thanks for the link - the article also says they considered selling Planet Hollywood, but chose Flamingo instead!