It looks like you've found someone who's helping with a ROM revision, but another source you might want to look at is over at pinhacks.com - it's a pretty quiet place at the moment, but it's a group of people hacking around original pinball code to fix bugs or add new things. You might track someone down there too who can add to the effort
www.pinhacks.com
Mark