That's a decent price. You can also get the SMC 135/2.5 for about $80 (5-element) to $140 (6-element) in M42. A more-basic Super Takumar 135/2.5 seems to be about $50.

As it happens I have one of the 6-element ones available...