Steakhouse Roast Pork Tenderloin

INGREDIENTS: MASH (POTATOES, HEAVY CREAM, BUTTER (CREAM, NATURAL FLAVOR), GARLIC SALT (SEA SALT, GARLIC, SALT, MODIFIED CORN STARCH, SUGAR, PARSLEY, NATURAL FLAVOR AND EXTRACTIVES OF CARROT (FOR COLOR)), GARLIC, BLACK PEPPER), PORK TENDERLOIN (PORK TENDERLOIN, DIJON MUSTARD (WATER, VINEGAR, MUSTARD SEED, SALT, WHITE WINE, FRUIT PECTIN, CITRIC ACID, TARTARIC ACID, SUGAR, SPICE), OLIVE OIL, SEA SALT, THYME, BLACK PEPPER), CARAMELIZED ONIONS(ONION, BROWN SUGAR, OLIVE OIL, GARLIC SALT, BLACK PEPPER, SPICE), DEMI SAUCE (WATER, RED WINE, DEMI GLACE (MODIFIED CORN STARCH, PEA FLOUR, BEEF FAT, YEAST EXTRACT, MALTODEXTRIN, HYDROLYZED SOY PROTEIN, SALT, CARAMEL COLOR, SUGAR, TOMATO POWDER, DEHYDRATED BEEF STOCK, ONION POWDER, BEEF EXTRACT, GELATIN, NATURAL FLAVOR, CARROT POWDER, LARD, XANTHAN GUM, SPICE, DISODIUM GUANYLATE, DISODIUM INOSINATE, CITRIC ACID, PAPRIKA), GARLIC SALT), ROASTED ASPARAGUS & MUSHROOMS (MUSHROOMS, ASPARAGUS, OLIVE OIL, SEA SALT)