Возможно и так, но из опыта распечатки валов из PLA - исходный диаметр 10 мм - на выходе ~9,8 мм.