From talking with Martin, a while back.
Another option you can use is utilizing an IMI-104 starter which has a little longer engagement than the IMI 101.. if memory serves me correct.
http://www.hitorque.com/index.php
Can't remember price.. vs machining housing.
Alex
Bugat5speed has an account with them if needed.