Yes, thanks, that's exactly what that guy's tool looked like, with the 5mm tapered oddly just at the tip. I have tossed it into my cart to be purchased next time I'm over the free shipping limit!

Note 'similar items' shows a version by origin8 with a clip-on 4mm bit as well