John,
I think, and it is only a guess, he said he drilled the mounting plates for his
head , so I'm thinking he used a JD 110 optional deck lift pump mounted on his cub head.
In the back of my foggy mind that is what I am envisioning anyway.
Seems like they just use a 203 ball bearing behind the pulley, but it's been a while since I saw one, and longer since I had one apart.