Thanks, it sounds as if using a dremel may be a possibility. Do you use the 'sides' as well as the 'end' of the bit? I am imagining small, almost spherical or cylindrical bits (do they exist) which can remove material in all directions.....
I am only removing small amounts at a time, but...