WFMC5440UC ERROR CODE E17 - Bosch Nexxt 500 Plus WFMC5301UC

SOURCE: e17 error code

Got an E17 Error today on a Bosch 6450 Series washer (the user manual says Bosch Vision 300/500/DLX series). Here's what I did to fix the problem.
- Tilted the unit back, propped up the front with some 2x4 (lying flat; that's all the room I had).
- removed 3 screws (Torx 20 I think) under the front lip. Then slid the cover (below the washer opening) down. This revealed the pump to empty the washer, a manual door lock opening pull rod, and a drain line (?)
- Looking through some holes in the front panel I saw some water on the bottom of the washer... but I spent a lot of time with the pump cleaning it out first (some zipper pull got in there and made a lot of plastic shavings). - Ultimately I got my hand the bottom of the washer and soaked up the water that I could find. That's when I realized
- there is a micro switch mechanism at the bottom near the front. This must be the "AquaStop". The mechanism contains a bit of styrofoam that floats up on any little amount of water that collects under it and triggers the microswitch. So, I removed that unit, wiped the water up... put it all back together. No more E:17 error.
Still don't know how the water got there in the first place though.