I hadn't come across Antex before. Their cheapest temperature controlled model is well outside my price range, though.

I had come across the Aoyue brand that pcb-soldering.co.uk is selling. They're also Hakko knockoffs, Chinese this time. I can't find many reviews of their stuff, but what I have found is not very good. Unlike Xytronic, their "equivalent" models have far less power. I just don't have a good feeling about them. Plus, I'd rather avoid doing business with China if I can avoid it.