Ребенок откусил градусник. Что делать?

У подруги малыш решил поиграть в доктора и нашел в аптечке градусник. Видимо, где-то видел, что градусник кладут в рот. И случайно откусил его - как раз то место, где содержится ртуть. Он не покололся и не порезался, тут же выплюнул этот кусок. Самочувствие у него нормальное, ничего не болит и не тревожит. Нужно ли вести его к врачу?