Is this a Kenmore doublet? I don't think they sell them at Sears, though. ;)