This fabulous Mushroom Grilled Pork Tenderloin is to die for. A rich marinade adds an explosion of flavor to the meat, and then later becomes the sauce, along with some cooked mushrooms.