I think he just mentioned that Bikesmith was out of stock...

I saw some 9.5mm on ebay yesterday. In lieu of not having anything else, I would buy a set and press them into place and put the bike back on the road- all the while looking for the real thing. If the new ones fit OK, you could always take one to a machinist and see if he could make up a set... if you don't feel bad about paying $100 or so for them...