Hope Madjack doesn't get upset with me posting this, but Vegasinsider is usually very good about posting information about players that may be or are already declared to be out of the game.
However, you mentioned that this information was posted on CBS last night which means that VI may have never received the info.
Thanks for the information sharing!