So I had some difficulties with the accessory drive belt.
Basically the belt I had bought that worked for Spohn didn't work for me due to the underdrive pulley:
As you can see, it's way too loose.
I found that this one appears to be satisfactory, though:
It's only an inch shorter, but it makes all the difference.
So now I've got this for sale, I guess, for someone who wants to delete their AC but doesn't have an underdrive pulley: