I started by hand at 400 grit and went up to 12000 grit by increments of 200 and a set of micro-mesh polishing pads. This process took about 5-6 hours per lens and a lot of elbow grease. Not really sure that qualifies as 3d printing.
However, I like the fact this was not one of those 3D print a case, insert bit's that do all the work. Well beyond film.