Checked Consumer Reports, and the Kenmore HE3t with Steam (a $1400 washer) scored a 75. (They don't use the steam option when rating washers.) The Samsung WF218 (an $800 washer) also scored a 75. A score of 60-79 is considered very good, so both these machines rate quite near "excellent".
Category ratings (cleaning, energy/water efficiency, capacity) for each machine were nearly identical, except that the Kenmore was rated very good for vibration (better for non-concrete/basement installations) and the Samsung was rated good.
However, the Kenmore HE2t (more in line with the Samsung price-wise) only scored a good for vibration.
They report that Kenmore front-loaders have been quite reliable. No stats for the Samsung at this point.
I think you have a case of "six of one, half-dozen of the other".
The three Samsungs they rated all scored well. The Samsung TOL was at the top of their ratings. Kenmore HE3/4/5's all scored very well, too.
Personally, I'd like a soak cycle, but they may not need one.
Let us know what they decide!