Will you be traveling to Va. Beach area as well? I mean, Bush Gardens is like 90% of the way there from DC.
I don't know much abouit ticket prices for Bush Gardens, but I'm fairly familiar with DC, NOVA, and the Virginia Beach areas; so I may be able to offer some insight into grub and whatnot there...
What type of restaurants would you be looking for? Family oriented? Upscale? Steakhouses?
For the cheap stuff, one place you may be interested in checking out for lunch is
Five Guys...as we've discussed in the "burger" thread. I believe there are nearly 100 or so in Virginia now, so one shouldn't be hard to locate...but the ones in Alexandria and Springfield seem to make the best burgers for some reason.
If you're still hungry for another burger,
Clyde's on M Street in Georgetown makes a damn fine one...and is a nice mid-scale atmosphere with a good menu. Busy though.
DC has a TON of smaller basement eateries that offer a tremendously diverse array of foods. Far too many to list, but if you give me a better idea of what you're after, I can try to help.
Let me know if you'll be making it to VB, as I can direct you to some good seafood and one of the best turkey sandwiches (you don't make yourself) I've ever eaten.