I have had bad luck getting any sort of consistent readings from the Android app for checking the belt tension. Has anyone bought a tensioning tool? I seem to remember a post somewhere. Anyway, there seem to be a bunch of different ones available. If you bought one, which did you buy and where did you get it?