FWIW when I priced mine I was thinking around $2/chip for the hundreds, $1.50/chip for the $25s, and $0.70-0.75 for the more worn ones and fives. Then a small discount on top for the quick sale. I don't think any of those numbers are far off. Last month there was another set in the classifieds that went for $550 + shipping with more hundreds.
Maybe they could go for more since we haven't had a big set of inlaid Paulsons come on the market in a long time, but I feel good about the sale price. I usually try to aim a bit under market for a quick sale. Plus I'm always happy to pass on my chips to another collector