mainrad = 28.4;
poleholeh = 5.0;
polecovth = 0.4;
poleholerad = 6;
  
mainth = poleholeh + polecovth;

rotate_extrude(convexity=10)
  mirror([1,0,0])
  polygon(points=[[-mainrad/2, 0],
		  [-mainrad/2 + mainth, -mainth],
		  [0, -mainth],
		  [0, -poleholeh],
		  [-poleholerad, -poleholeh],
		  [-poleholerad, 0]]);