I swap the tips on my Hakko without letting it cool down, I just use a Knipex pliers wrench so I don't burn myself. I keep my spare tips in an altoids tin, so I can drop the hot one in there without burning anything.