I have 2 of them and a newer number that uses all the same parts. Tough, easy to repair, parts are reasonable. That price US is very reasonable depending on wear and tear. The shrouding starts to crack from vibration and metal fatigue eventually.
Did you end up getting a 1411? I've been looking at getting one also. I have a NI 5209 I'd like to replace. The 1411's I've been looking at have all been in the 10-13,000 range for ones that look like they are in pretty good shape. Found one that has the shock hubs on it for $12,500. That's at the top of my list right now.