scale( v=[0.125,0.125,0.125] ) {

translate( v=[0,0,10] ) {
dxf_linear_extrude(file = "robo.dxf", layer="0",
  height = 20, center = true);

translate( v=[0,0,20]) {
dxf_linear_extrude(file = "robo.dxf", layer="l2",
  height = 20, center = true);
}
}
}

translate( v=[0,7.5,2.5] ) {
	difference() {
		cylinder(h=5,r1=2.5,r2=2.5,center=true);
		cylinder(h=6,r1=1.5,r2=1.5,center=true);
	}
}