We wanted something different than the cafeteria meal (which we'd had the night before) and something much quicker than the wait at the General Store Fountain. The deli was the right choice. It's tucked away next to the Cafeteria, and probably only open in the summer season.
It offers a variety of sandwiches and a couple of salads, all pre-made and waiting for your selection in a chilled display case. Packages of chips and fountain drinks, plus scooped-to-order ice cream. Condiment bar with mustard, mayo, etc.
We ate at a table inside (a little crowded), but there were also tables available on the terrace right outside.