https://pinside.com/pinball/forum/topic/a-divided-opinion-leg-protectors-or-not