>I ask this because I'm planning to buy a copy but I am not currently residing in the US, and Hentzenwerke Publishing does not ship any printed material to non-US customers.

are you sure about that? I know people in Brazil who has bought some printed books from Hentzenwerke.