I almost did a spit take when I saw that huge $9.99 number. Then I realized that it was in CAD and per kg, which works out to be cheaper than it is here in the Southeast US (about $4 USD / lb), LOL!

Still kinda think a pressure cooker is overkill for a tenderloin that would cook up just fine with a dry cooking method (roasting or pan-grilling, like a steak) though. You could save $2 CAD / kg (plus an extra $5 off) getting regular loin and it would turn out just as good in a pressure cooker.