Quote from the end of third page:
"You can purchase a new Gear Shift Lever from Cub Cadet. Cost for a new gear shift lever is $132.00+"
Yeah, maybe you better be finding out what kind of beer that kid at work likes. I'd think it would be worth somewhere between a 12 pack and a case to get the job done.
It might be good to print the directions out for him.