A local auto parts store had quoted me $54, discounted from $70 for this belt. V-Belt guys had it for $12.50, so I bought two. The belts arrived on the scheduled day. They are thicker than the belt they replaced, but fit perfectly. I installed and tested one. It runs more quietly and the mower cuts evenly, the latter probably due to the repaired spindle.
I will see how well the belt performs over this summer, but right now I am impressed with price, speed of delivery, and quality.

Worked out fine