Only song I can think of w "Pinball" in the title, and is about a person that plays it.
Until someone writes a new one, recorded by an international act we're stuck with it.
Song doesn't bother me so much as people calling me one. "Pinball enthusiast" doesn't have the same ring, however, so I get it.