Yeah, all those food options are excellent. In case you haven't been provided enough options, here's some more (these are a couple of miles from campus, however):
Red Cow has some fancier burger options that are quite good.
Punch Pizza on Grand. Excellent Neapolitan-style pizza, and fast.
Some newer breweries closer to downtown, such as Waldmann (refurbished house from the 1850's with beer and German cuisine) and Bad Weather. New Bohemia (downtown) will also give you beer and brats, and they have a massive tap list.
Red Cow has some fancier burger options that are quite good.
Punch Pizza on Grand. Excellent Neapolitan-style pizza, and fast.
Some newer breweries closer to downtown, such as Waldmann (refurbished house from the 1850's with beer and German cuisine) and Bad Weather. New Bohemia (downtown) will also give you beer and brats, and they have a massive tap list.