bosch e15 leak base

Our Bosch dishwasher is about 4-5 years old, and recently cut out with the E15 error/pump running continuously. There was water in the base + float, so I drained it and ran another cycle watching with a torch. A few minutes after starting, I observed a trickle of water running from a vent hole...