I'd suggest the used market. I sold my routed one for 6200 a couple months ago. I probably could have got 63-64 if I was patient, but I wanted to sell it quick and that was the price I was happy with.
For the price difference, I think used is the way to go.