Thanks for the helpful response. Car wasn't bought new, local dealer had a scratched-up one with 70,000km; Newcastle dealer had pristine one with 21,000km for $7,000 less.

Also see my previous thread for the fun experience I had with the local dealer re: clutch and short-shift kit.