How long would it take to drive from one end of Doha to the other when there's no traffic? (Like, say, in the middle of the night.)