Overall, that was good advice on prices, though actual values realized, as a group would probably be less -- my guesstimate, as a group would be below $1000 total, but probably $800 range if marketed on eBay individually.

Another alternative would be to sell to a chip dealer as one lot. But as we learn on "Pickers" TV show, dealers need to discount their price to leave room for profit when re-sold.

That group of chips is a nice find, so congratulations on your good fortune!