https://pinside.com/pinball/forum/topic/who-makes-good-inexpensive-flush-cutters