After my meltdown, I bought two hot-ends. One was the Budasnozzle, with which I’m currently printing. The other, which just arrived yesterday, is the J-head Mk 3-B, which I bought from hotends.com.

Since I’m very happy with the Budasnozzle, I won’t bother using this one at the moment. I’ll just put it in the drawer as a spare part, or to provide it to a fellow Aussie who gets in distress with his printer.