I just stumbled onto this 2 1/2 year old post I made, while I was Googling information.
I'm just answering my own question here now, in case somebody else stumbles onto
it while they're looking for information.
The solder iron tips in question were made by Hexacon.