[sokoloff]

Repairing an old device that used leaded solder is a reason to use leaded solder (even new leaded solder during the repair). I don't even use the same tips across leaded and lead-free solder.