Isn't pinMAME a complete different project from MAME? Either way, thanks for sharing your story. I'm a pinball fan and love hearing stories like this!
For a while they tried to keep the manufacturers happy by not allowing modified ROMs to run, I got a special build from the developers to let me run anything I wanted. I think those restrictions do not exist anymore.