Howdy James, welcome to the ONLY pinball forum in this great land of AU !!
(Capital Pinball?) - but you can always buy pins from around the country and get them shipped, I guess.
Um, yes, the second option would be the smarter one!
You're not saying Capital Pinball wants top dollar for his games, are you? Most dealers do.
It depends if you are after some sort of after sale backup or whether you think you can learn how to fix pinball machines yourself.