Grilled tenderloin with mushroom sauce

Grilled tenderloin in mushroom sauce and garlic butter, served with mashed potatoes and vegetables.