The cafeteria is known as "Cafe Mario" and has Not been shut down. Shut down (temporarily) was a third party sushi vendor called "I Love Sushi" that sets up shop inside the cafeteria on Tuesdays. The vendor, which uses portable cookers and coolers, was forced to take a two week hiatus. They are back now and to my…