I could not find specific online instructions for this job. Here are some tips.
1. Unplug the washer.
2. Unscrew the dial on the broken timer.
3. Gently pry up the thin plastic place-indicator plate (the thing with the arrow under the dial) with two flathead screwdrivers.
4. Unscrew the two hex screws holding the old timer in place.
5. Unscrew the phillips-head screws holding the console in place and flip up the console.
6. Remove the electrical connector from the bad timer, and remove the bad timer.
7. Put in the new timer, plug in the electrical connector, and put everything back together.
8. Test