Report MAGFest - Guide to the National Harbor (updated for MAG XV/2017) in Community Posted December 29, 2011 Thanks Kizyr! This is a really good idea. I would also like to say that I've been to Ketchup. You can order a thing of fries with 5 different varieties of ketchup. There must have been something vegetarian there, probably like a veggie burger, since I ate there.