Company Eggs, the Very Best Pork Tenderloin Marinade, and Mash