John,

I think it is the same boat, but the info I have is that the chips they are using now are Chipcos.

Do you have any extras of the .50 chips to trade?

Greg