Nice link. Also great are the videos on YouTube by PAPA, the Pro Amateur Pinball Assoc. Plus I think you could get away with using a program like iShowU to capture some of the audio and lift generic sounds like the ball rolling, flippers, etc.
Sound is one of the hardest things to get right, I been playing around with an iPad app by Korg called Gadget, has some great sounds you can play with and arrange into whatever you like, good for intro music too.
You have the sweetest kits, I have so much fun playing around with them. Pinball is by far my favourite, although, I do look forward to the game board/card kit.