I remember once we were running really late and the captain said not to worry, we'll make up the time. Flight time was 17 minutes. My wife and I literally had enough time for a drink and we saved the biscuits. But 17 minutes was very rushed. 13 is definitely possible.