Мне было бы пофигу, как называет бабушка внука, если в имени нет ничего оскорбительного. Если сыну будет нравиться, что его зовут Тошик вместо Антон - вперед и с песней. Если его решат называть Тохой в противовес вероятному брату, и ребенок закономерно оскорбится - решим этот вопрос вместе, как реагировать на подобное обращение. В случае Ярослава и Славика тоже оставила бы этот вопрос на усмотрение бабушки и внука. Если обоих этот вариант устроит - ради Бога. В кнце концов это ЕГО имя, ему и распоряжаться им. Естественно, с момента, когда он научится осознавать себя под этим именем.