Are the broken pins used in the tube circuit? If not then no worries.
If they are and you want to try saving the tube I would insert the "repaired" tube into a tube socket saver. Then if the repaired pin breaks it would be stuck in the socket saver.
You could lose vacuum on the tube soldering on the pins? If so you get a nice light show at least.
If they are and you want to try saving the tube I would insert the "repaired" tube into a tube socket saver. Then if the repaired pin breaks it would be stuck in the socket saver.
You could lose vacuum on the tube soldering on the pins? If so you get a nice light show at least.