+module StrapSectTop(){
+ translate(P9t + ourcirc_r * [+1,-1]) {
+ difference(){
+ circle(r = strap_below + strap_th, $fn=40);
+ circle(r = strap_below, $fn=40);
+ }
+ }
+}
+
+module StrapSectBot(){
+ mirror([0,1]){
+ translate(P9b + [ ourcirc_r - (strap_below + strap_th), -10 ]) {
+ square([strap_th, 20]);
+ }
+ }
+}
+