Speaking from experience, it's probably better to let the trolls punch themselves out with their nonsense as opposed to trying to get the truth across.  If for no other reason than that nobody really cares and trolls have more time to concoct lies than busy people have to refute them.  If he were to respond it would likely just be a back and forth that wastes everyone's time until someone has a stroke.  It's just not worth it.  Kudos to krogo for being able to laugh this one off as opposed to wasting more of everyone's time on some nonsense forum drama that some around here crave so dearly.