Bosch pressure washer (Cheadle Hulme SK8)

Does anyone have a Bosch Aquatak 10 pressure washer lying around in their shed or garage that they don’t use anymore? I’m hoping to repair the one I’ve got. I need to replace the small, white nylon piece, shown in the photo, that switches the motor off when the trigger is released. Currently the machine keeps running without water passing through and I’m pretty sure that’ll lead to the motor burning out.