The eBay seller (ASMC) is a well known shop here in germany, he does Catalog Mailorder.
If they don´t ship to the US i could either buy you a tool there or from teh manufacturers site and forward it - B ut you´d had to wait until the Xmas/new year frenzy is over.