This step may require two people.

Pull the tine engagement lever to put belt tension on the transmission pulley.

With the belt taut, use a 12 mm socket to loosen the transmission pulley bolt without fully removing it.

The pulley will rotate with the bolt and the bolt will not be able to be removed if belt tension is not applied.