Seems Tassie is a popular "retirement village" for us old pinheads.. Get in touch with the "Tassie Pinball Mafia" - a GREAT bunch of pinheads that will assist you with locating pinballs.

Regarding the SS market - I remember $5K was too much for a nice Centaur in 2010.
Prices have changed dramatically, but I think the downturn in the economy and the cost of living may shake the tree a little and luxury items such as pinball will be for sale more often.
$9K for a nice centaur is just over market value in my opinion - But I'd need to see detailed photos.

As for remakes etc - if you can't buy from existing stock etc - don't bother. Too many horror stories and people never learn.