I'm sure they will go for about $5k or so.

I haven't checked my website but it appears that the chips are known chips. I might already have a set. Being known definitely takes away from their value (probably a couple of thousand dollars)