I think the "right price" argument seems pretty fair. The other idea might be to go for a different size rather replacing than what you have-- look for a 65 or 75mm maybe and use it for smaller enlargements (8x10 and less). Then you will have a wider latitude in the enlarger rather than just what you have.
I agree with the luck of the draw sentiment on enlarger lenses. I have a nikkor that has gone to the junk box while I have a no name 135mm with a wonky blade that I love and use regularly on my Beseler 45mx. Which is the main reason I am a little questioning just about replacing one brand for another.
Good luck, and look for value rather than the name stamped on the front.