Why do you not buy directly from Bitmain? Swiss Customs gets in the worst case 13-15% from 400$
and in my Case it was true that "Bitmain ships very fast"
I think he is German, otherwise he will have to pay customs anyway when getting items from Europe and should do as you said.