I managed to pick these up several weeks ago in a job lot with some chips. Sold a couple on Ebay and glad to see that the rest have found a good home. I think I may have some others that I picked up a while ago, so will go see if I can find them. I'm sure I have seen that other El Capitain token somewhere - is it worth me hunting it down? I don't collect tokens (although they were what started me collecting in the first place, when I used to bring them back as souvenirs from casinos before I started on chips), so not sure about values!

Jason