Timing Belt Tension Gauge Tool

Too late! But for the future (will hafta do this to a different vehicle soon), what would I use to measure the existing belt’s tension?