https://pinside.com/pinball/forum/topic/cutting-the-cord-tips-and-tricks-to-do-it-right