My 11 yr old mini has got what I thought was tic. But its not, looks like a little pimple on his side. Should I be concerned?