It was done freehand. A mini-mill would be worth a shot if available.

The epoxy is easy to work and machines well, but is still pretty dang hard and sticks to the plastic.