Replace light tube in timing light?

My 80s version craftsman had a bad solder joint on the flash tube. Resoldered it and it has been working fine for another 10 years.