Rowland wrote:
It's ten years old, it just stopped heating the water, and I'd like to
try to repair it myself before paying a repairman. But where to get
the part in a reasonable time frame? Home Depot says they don't
carry it.

It's a Craftmaster model E1E4ORDO45. If I have to buy a whole new
one, I'd want a plug-in replacement. I don't want to fiddle with
welded copper pipes.

I think you mean soldered copper pipes?
http://www.cornerhardware.com/item_2...ement-Kit.html