If anyone is interested
Don't forget shipping, GST and conversion rates, of course. Not sure how much Mach 1s are going these days but I recall 2 years ago the used price was at least US 5K+
it's a very good buy but shipping and the handpad is not included. So basically it's $500 off the usual price of $6350 if you get the handpad and pay for shipping.
That said it's a good deal because you can buy the CP4 handpad for $700 (instead of the $1000+ normal price). The CP4 has USB, Ethernet, and WiFi built-in. I'll probably get a CP4 at some point..