I got the cylinder changed out yesterday. Simple and straight-forward. I did fill the new cylinder before installing. Once it was together, I started the engine and cycled the steering a few times. Then I took it for a short test drive. It worked right away.
I'll do the 1864 next. I need to do one more mowing before the grass gives up.