Bill B: Great picture. I checked the other threads as you advised and it appears fairly straighforward. Looks like I need to buy an E10 torx socket and just do it.
I have the factory service manual and now that I have read these threads it agrees with only needing to remove the bottom mount spacer. BUT, obviously the tech writer was not a mechanic, or the writer was a mechanic and not a tech writer - very obtuse.
I tried this a couple of years ago and gave up. Landed up paying a mechanic $100 labor to install my belt.
Wish I had found this forum a few years back. You guys have all of the answers.