2HGXDISC@kuhub.cc.ukans.edu (11/17/89)
Or get a standard torx 15 and grind the handle to a usable diameter. (about $3 solution)