Those are reasonable prices for routed machines. People on pinside generally seem to charge/pay a lot more for pins than anywhere else. Some of the prices posted here are crazy and people say, "great deal!" But then again something is only worth what people will pay for it so I digress.