(...) I called the LEGO Outlet store, as some people suggested. Unfortunately they never returned my calls (they promised to, to tell me if international shipping was possible) But I think I have one now :) (23 years ago, 9-Dec-01, to lugnet.market.buy-sell-trade)
