9 hours in Doha: exit the airport or rest?

I will land at 6:00 and depart at 15:00 with checked baggage until the final destination. On the card there would be time to see the Souq Waqif and the Corniche, but between immigration, warm and return I do not want to turn the port of call into anxiety. The journey continues with a night flight and sleep would be useful. Who made a similar stop as he calculated the margin and where did he leave any hand luggage? ♪ mainly affects a comparison based on recent experiences: indicated travel period, what really worke…