I want a set of the Paulson Dunes chips (I am sure I am not alone on that one

) and was wondering where I can get info on them.
I have just seen the chips and think they are the nicest looking chips I have ever seen, but know little about the casino they come from, what year these chips came into circulation, or what kind of prices they fetch.
Any help would be appreciated, I am not looking to buy them this weekend or anything but would like to start gathering information.
