Tom's Diner is a food court offering a variety of options.