Thanks for the advice.

As soon as I can learn paper patching, this should again give me a cast option in 9.3mm.