Since neither fit then yeah, just replace them. Those Shimano downtube shift cable stops are fine, there are other brands as well. Dia Compe, IRD and Dajia also make some. As I found out in removing them after 15 years, apply a thin layer of anti-seize compound to the boss, if you have some on hand. Otherwise at least a bit of grease.