Yes, there's a cafeteria in the Koch building that's back up and running. I think all of the campus dining facilities are run by Sodexho or similar - "mediocre on quality and price point" would be their slogan if we required corporations to be honest about such things.