Unfortunately you pay a premium price for a 'dealer' machine. Personally I'd be on the hunt for a private machine that needs a bit of work and wouldn't pay above the $2500 to $3000 mark. Great pinny to play.
If you find two at that price let me know, I'll grab it as a spare!!