David,
I didn't check the poker room for them, but I did play with them and pick some up at the craps table. They were using both types (Paul-Son & BJ-coin) at the table.

I asked the pit boss about them....if they were going to be pulled. He told me he was told no, they were going to be left in play until either they were gone, or the casino closed, whichever came first. He, and the dealers don't like that idea because they're having a hard time handling the two types at the same table. As you know, the BJ-coin chips are both heavier and more slippery then the Paul-sons.