Rigatoni Gratinati (Tomatensahnesauce, Schinken, Champignons): Portion