Don't see it in TCR 14th ed. (2012) either. The only non-denom chips listed for Boulder Station are roulettes, and a BJones chip. Also not in the 2009 4th Ed. price guide.
FYI, This 2005 article says that Jumbo Hold'Em Progressive Poker started at the Boulder Station in 2003.

www.allvegasguide.com/press_release_headlines/2005/boulder_station_poker.html