Well, it depends on how far the restaurant is, how much you’re ordering, and how busy they are. Based on my past experiences with this place it’s twenty-five to thirty minutes, but maybe a bit longer. The question, really, is how do you want to pass the free time until then?