I needed a screwdriver to lift these out, but after this the repair was a simple matter of following the old switch line along the inside top of the washer body, removing the ground wire (a bit tricky because you have to lean the unit foward while trying to remove a screw that hangs down at the same time). and screwing in the new unit.