no, i just ignore him and let him make an ass of himself when he starts whineing
This is by far the best option.