Thanks for the tip William but they looked at me like I was asking for a teleportation machine with spinning chrome rims! For the curious, the adapters I found on classifieds (mini DP to hdmi) were going for $100 and $70. Even techtools is asking for $100 (mini DP to DVI), too much for an item that retails for $5 to $10 (Apple does not make them so they are all third party). I think I'll just use emotional blackmail on a friend in Australia, way cheaper even with delivery.