I don't think 0.40 a chip is a great deal for these, especially since they would have to be used as is or milled in order to customize. I may be able to partner with you to split the lot but only if the cost came down substantially to about 0.20 a chip or thereabouts.
Seller says the best he will do is $3000 for the lot. I bought the smaller limit set with the intention of reselling it (how I afford this hobby, to be honest), but was also ok keeping it at the price I paid.
8500 chips is a lot to sit on and there is no way I would use them all haha. There was some interest among the members here, but like @allforcharity, most wanted a set well under 40c per chip, which just wasn't possible and would have left me sitting with thousands of chips (which isn't ideal).