Я не смог разрезать некоторые файлы, поэтому я исправил их. Ничего другого не изменилось, и большое спасибо оригинальному создателю.https://www.thingiverse.com/thing:2401612.

Я буду использовать кусок электрического разъёма для подключения датчика.