The Stenomatic 9000: a Steno drilling tool