Well the
M SMC 40mm is debatable. Some have it and quite like it, others have mixed feelings on the lens. It's worth checking the lens review database here on the forums for any users comments. IMO I wouldn't spend more than $100 but hopefully closer to $80 CAD On Ebay it's probably worth around $150.
Lens database
The 50mm's If K mount as you think (this is assuming SMC of course):
K50mm f1.4 $100-125.00
K50mm f1.2 $275-325.00
135mm is nearly impossible to asses without knowing which one and there are plenty. But they can go from $25-150 depending on the version. If it is an f1.8 then just pass him your wallet and credit cards.
All of this is what I'd max out at and all would depend on near mint optics and very good cosmetics.