I bought an aftermarket De-clutch solenoid on Ebay. It didn't come with instructions. It is just different enough that it is not easy to install. The original is a piece of cake to remove. Has anyone installed one of these. Does anyone have a good used OEM solenoid?