How do you know he was calling Huston? He's Dutch. Maybe he was trying to call home?
9 - gets him out of the internal exchange 011 - gets him out of the USA xx - country code (probably 31 for the Netherlands) then whatever other numbers are required inside the Netherlands