Once we have that we render it as a polygon in OpenSCAD:
then rotate extrude it:
which will allow us to use it as a tool.
