A buddy of mine (not a member of this board) who picks up chips where he plays has a 1996 5 chip set of $5s from Lucky Strike casino in Central City, CO. They are a stackable Royal Straight flush set (I think the side graphic uses the 5 chips). I found them listed on chipguide.com Looks like either 400 or 800 made. Any comment on them? Hard to find in new and complete sets? Value? He got them from the owner....

Thanks