As long as members use a heading that doesn't suggest the thread is pinball related and post in the Non-pinball section, I don't see the issue. I can't recall ever reading a non-pinball post expecting to see something pinball related. I mostly ignore the football thread as it doesn't interest me, though glance at the posts from time to time to see things are in order.
There is a Report to Moderator button that every member can use. Not *once* can I recall seeing a report on one of these non-pinball discussions. Perhaps when I do, we can consider a change. But I'm not about to change the forum because a couple of members wanted to cause problems publicly.