a few students on a tight budget going into sf for a day and looking for an inexpensive (around $10-12 including tax and tip) restaurant to get a quick lunch around civic center plaza. style of food not critical. going to museum nearby so something within a few blocks would be great. one of us isn't that excited by sandwiches or soups so it would be nice if there were other possibilities too. thanks.