Unfortunatley, the tools to do it are pricy and overengineered. Here's a basic ballasting tool that does the job just as well. Clean them up with a small paintbrush. We print these in random colours so you will receive what ever colour we currently have setup in our 3D Printers.
eBay