You forgot to mention how awesome the Cafe is. It has a Pizza Hut Express and many other options.
Pizza Hut Express has left the building. There is still a pizza kitchen, they'll make one while you wait (if you opt out of what's already made), and I'm told they're even better than PHE was...terrific salad bar...the carnivores seem to dig the various moo/oink/cluck fare on offer...I even found sushi there a time or two...As alluded to elsewhere, one does miss the days that the cafeteria was open 24/7 versus the current 16-20 hours a week.