I've been wanting to try Don Antonio, thanks for reminding me that it's in the area!! I see that it opens at 12:00 which is when we would need to eat to make the show on time. I'm assuming they don't take reservations?