Paul's Pork Tenderloin

Paul invented this marinade last month and we've made it more than once since then -- it's that good!

Marinade ingredients:

Vernors
Olive Oil (small amount)
Garlic, minced
2 Mangoes


Marinade pork tenderloin for a few hours (3-4 ish) and then grill. (Broiling in the oven works but grilling is, of course, best.