If you are happy with the way that one worked then buy one the same. Personally I would mend it, there is no rocket science in there, something is broken and you can get all the bits fairly easily. It doesn't seem worth buying a whole new one just for that unless you have a desperate need to mend it NOW or you are not inclined to bother, both good reasons for not mending it.