I have the Belt Tension Tester AST4395 and use the No.4 button, I have used it to do the belts on both my road bike and my race bike without any problems.
The Clavis type frequency measuring belt tensioning tool is the type suggested in the 748RS manual
for more info on these
http://www.clavis.co.uk/