This might be a little high. I'd probably say around $1.50 to $2.00 a chip for very good condition. Also, non denomination chips might go for less than chips with denoms.
But as always, prices/values depend on chip condition, set breakdown, quantities, colors/spot patterns, and what someone wants/needs and what someone is willing to pay.