What will you be using it with? If it's a pillar drill, I just use a standard HSS and can send you one.
If you're using a pistol drill I would sometimes use a 4 first to get the hole lined up more easily (it works with the bottom set kids so you should find it a doddle).
If you want a 9 HSS pm me and I'll stick one in the post, I have them coming out of my ears (one of the few in the set they don't often break).