Tech verified that the unit was wonky, and decided that the electronic
control unit has to be replaced. Whirlpool agreed to cover the cost of
parts (~$1000) but not labor (~$100). Seems reasonable given the age
of the unit, so we'll keep our fingers crossed that the problem goes
away...