I can't find the procedure in the workshop manual. Does anyone know how to test a clutch position sensor while it is out of the transmission. Thanks.