Thanks for the replies, and for the links! I'll post back with my findings. I am not sure which I prefer: Bad splines means new shaft for $600 (extended version), but a relatively easy repair. Stretched chain means around $140, but a much more involved repair.
Gary