Hi guys, anyone got a service manual for this dishwasher? Customer called to say he had another engineer out to check dishwasher but he couldn’t find the optical water sensor. I would have thought it would be located in the base like other whirlpool D/W’s?