Pretty much all about availability and shipping. I am guessing we have access to a smaller pool than you guys so therefore our prices are higher.
If you ship a machine in yourself you are probably looking at close to $1000.
As far as I know, all the guys who import container loads are sourcing the machines from Europe. Obviously they have to make their money back and then some so you still need to add on the shipping and associated costs to the base price. From memory that was a minimum of $500 per machine on a smaller container of 40 pins.
You could probably get $4500 for a TAF most days of the week over here if it is in decent condition.