I am helping a friend repair his craftsman proseries 7400 model number 917.986430. The belt from his primary drive belt to the cvt like pulley broke. We were able to replace it and the main drive belt, but there is a mystery harness that appears it was yanked out when the belt broke. It is part of the harness that goes to the seat sensor. I'll attach a picture of the harness end sticking out from below the mower. I couldn't find where to connect it when we had the mower body off. A part number on the wire is 581023401-a. It appears to connect to part number 532194276. Any help to identify where this plugs into would be appreciated.