// ^ washer is 4.72 dia
// also, want to get pliers or tiny spanner in to do up locknut
hingescrew_nut_across = 3.92 + 0.25; // incl. slop around recess slop
-hingescrew_nut_thick_real = 1.93;
+hingescrew_nut_thick = 1.93;
hingescrew_head_th = 1.38 + 0.75;
hingescrew_head_dia = 3.92;
lever_cover_th = 0.75;
hex22 = hex21 + hinge_x_gap;
hex27 = hex20 + hingescrew_shaft_len;
hex24 = hex27 + hinge_x_postscrew_gap;
-hex23 = hex27 - (hingescrew_nut_thick_real*2
+hex23 = hex27 - (hingescrew_nut_thick*2
+ hingescrew_fasteners_extra_thick);
-hex26 = hex23 + hingescrew_nut_thick_real * 2/3;
+hex26 = hex23 + hingescrew_nut_thick * 2/3;
echo(hex20, hex21, hex22, hex23, hex24);
// 6, 10.8725, 10.9975, 13.74, 18.75