My ds has developed a habit of hummimg in the last few months. Very short hums and repetitive. He knows he does it but can't stop himself and has said that othe chn tell him off for it in class. Anyone got any experience of this?