$6/lb. is a great price for a whole tenderloin. Where I am, it's a minimum $10/lb, and often more.

You don't have to grind the tenderloin trimmings. I think they're great for sauteed 'steak tips', stroganoff, etc.