I haven't seen any discussion of it on TCB but the historic Las Vegas Club changed its name a while back to just Vegas Club. Does anyone have one of their Players Cards with the new name on it to trade?

Barrick seems to have a thing for shortening names. First Union Plaza lost their "Union" and now Las Vegas Club loses the article from their name. They can't do much with "Western", but could Gold Spike become just "Spike Casino"???