Now you know why I record all models and serial numbers from any equipment that comes into my shop. It has save me numerous headaches after the labels get lost.
If it the model I just looked up there two operator present switches and they are wired in series so both must good and activated. Otherwords you got to hold the LH handle, pull the PTO switch, grab the RH handle quickly; unless, the mower is in neutral.
Just hoping someone has wired the OP switches parallel instead as that would make better sense operation wise.