In talking to the dealership, apparently the actual specification for drive belt tension is 50 Hz. You tap it with a hammer and use a device to measure how much it vibrates after that. Uh--not a device I've seen in the U.S.

Another way is to set it just tight enough you can just barely turn it 90 degrees.

Yet most belts are set using an offset measurement at the center of the belt. For example, when set properly, you might be able to deflect a belt 13mm when pressing on it between the two pulleys.

I'm reasonably comfortable with estimating "tight enough" but would welcome if anyone has a more precise, repeatable measure of appropriate tension.