Comment by yawn

I use https://pinside.com. It's been around for a long time and is an amazing resource for Pinball info.