Is there a generic (non-brand) name for these boiling-water faucets? (That’s not a mouthful like “boiling-water faucets”). I think we call them quookers here, which is also a brand name, and I slightly dislike that practice. I mean, “brand name for generic thing” is very common, but the brands and things differ per country, so it’s like a layer of jargon to decipher.