So as it turns out, it’s not the belt. As 0708Honda and Joe Mayo opined, the problem is the power steering pump. The dealership wants just over $600 to replace it. They say the OEM part costs $400.
I’ve replaced power steering pumps before, but it’s been at least 15 years, maybe twenty.
How hard is this job for someone with basic shade tree mechanic tools and skills?