Thank you all for the great advice and detailed explanations! Fortunately, I haven't purchased the chips yet, so you saved me from wasting money and ruining good chips.
Thanks to your input, I now know what my next steps should be. I am considering two options and would love to hear which one you think is better:
Option 1: Buy the Paulson chips, get them milled as advised, and apply custom labels.
Option 2: Order a completely new set of custom chips from CPC (although I've heard they might not be accepting orders right now).
When weighing these options, please keep in mind that I already own over 1,000 Paulson chips in total. Considering that, which route would you recommend?
(I plan to use these new 5,000 chips together with my existing Paulson set in the same game.)
Thanks again for your help!