Both belts are still a bit slack as I copied the tension of the old belts by meassure. One was very tight, the other fit the 5mm Allen. I plan to trailer the short way to my dealer and have them set the correct tension. But first I would like to see the belts track correctly, I will set the tension to the specified 140Hz and see if that helps.
That spec might be high. There are un-official opinions that belts that tight also cause pulley bearing failures. Check with your dealer and see what they use.
mitt