DS seems to have quite a few of these - he is 5. They are always short-lived and don't seem to bother him much, and he is otherwise a robustly healthy boy, but should I consider going to the GP about it or justremind him not to pick his nose too much.