Paper Patching with 3D Printed tools