My folks are going over there this summer, and there are a couple of tools I'd like to own. Does anybody know if it would be cheaper to buy and ship from over there as opposed to purchasing here in the States? And, how widely available are Festool products in Germany?