Это точно то же самое, что иhttps://www.thingiverse.com/thing:1941511За исключением того, что оно уже преобразовано в миллиметры, поэтому вам не нужно увеличивать его размер.