I work on a large variety of devices, some of which were made with leaded solder and some of which were made with lead-free. I've read that mixing the two types in joints can result in brittle joints, tin whiskers, etc. (especially if the two solders don't mix into a homogeneous alloy). Okay, fine. I won't deliberately make mixed joints. But what about contamination transferred by the soldering iron? I only have one tip of each style, so I can't designate one for leaded and one for lead-free. It doesn't seem to have caused problems yet, but I haven't done, and don't plan to do, any long-term reliability tests, vibration tests, etc. So, can I safely continue using one tip for both types? Should I wipe it off and re-tin it (and maybe even wipe it off and re-tin it a second time) with the appropriate type of solder when I switch from one to the other? (I'm not doing stuff that has to be RoHS-compliant, so a tiny amount of contamination is not a problem—as long as it doesn't affect the quality of the joints.)
P.S. Any tips on how to tell whether the solder in a device is leaded or lead-free if it doesn't have a RoHS label and isn't really old?