I spied lamb tenderloins at a Whole Foods market today. They look like pork tenderloins, just much smaller. I think they were $21 per lb. Anyone have experience cooking them? I'm thinking a quick pan sear, perhaps serving with a mushroom sauce of some kind, maybe a mushroom risotto.