Beef Tenderloin Tips with mushroom bordelaise sauce, whipped potatoes, and garden vegetables