The ones I've seen at radio shack are probably the same ones as he already has - most sources I've seen are 0.1", which is just under 1/8".

I recently saw saw other cable ties on something I bought, that were about half the width, and black. I don't recall where I saw them, but I do recall thinking that they could be more useful for tieing together wiring etc than their larger cousins.