Lo hice un poco demasiado grande, puedes reducirlo un 50% al imprimirlo, y el grosor es de 8 mm, por lo que no es necesario reducir el grosor.