paperlined.org
apps > pumping_station_one > projects > rope_knot_class

document updated 11 years ago, on Sep 2, 2013

OD sizes of PVC pipe
how to drill odd-sized holes?
- take a grinder to an existing drill bit, and trim it down to the desired size
- router + template
- fly cutter
  - DIY fly cutter ("the most dangerous tool in my shop")
  - some better-made flycutters