I'm glad about that - there are enough idiots out there to deal with without them turning up on here as well! But I'm never sure if the best thing to do with obvious trolls like that is just to ignore them - after all, all they're really after is the attention and engaging in dialogue with them isn't going to make any difference.