Don't know for sure as I don't have the service manual here but sounds right. IT just not shown as a separate on the 1232 that I looked up but I be looking the wrong one too.
THe one I look up the clutch is on the deck and not the engine. Kinda of an oddball setup.