Bad thing is, if you pay with PayPal, he can print everything out and all he has to do is go stand in line and drop it off at the desk-takes maybe 30 seconds longer than an in-country package because they have to date stamp the forms for you.
And, actually, for a lower price item even doing it manually isn't that hard-just a green customs form (no need for the huge multi-part one), takes about 2 minutes to fill one out.
I don't get sellers who don't work a little more with thier international customers. I charge $25 shipping for my international stuff, but those are 2 pound packages and I ship global priority. Costs me $18.50 to $20.00 for the postage. The extra $5-6 helps cover my PayPal fees and packaging.