Hi All,
For what it’s worth, these pulleys are really inexpensive and fit the #25 roller chain perfectly.
They’re visible at the top here, running from the chains to some out-of-view counterweights.
https://www.lowes.com/pd/Blue-Hawk-2-1-2-in-Clothesline-Pulley/3469101
That’s all.