It's a real credit to you that you're not a money-grubber when it comes to tips, even tho I know you like to get 'em.
It should be noted that if these kids were European, in some places over there tipping is not allowed. Therefore he probably just needed a little nudge, someone to let him know that it's ok in the USA to tip dealers.
