Резюме.

Я не уверен, будет ли это полезно кому-нибудь ещё, но кто знает. Заменяет ручку диаметром 38,6 мм.

Может быть напечатан без поддержки. Если вы сделаете один, пожалуйста, поделитесь результатами!