[ryantgtg]

Yeah, pinside is a great resource. Surprisingly, the pinside map was created four years after pinball map (source: wayback machine; disclosure: I'm a pinball map dev).