You will want a band that fits on the end of the shank about half way or a little more. 12.5 mm is probably right.
Then heat up the band with a heat gun to expand the metal.
After the band is good and hot you should be able to push the shank down into the band as far as it will go.
Let the...