I have, and he struck me as someone with a quirky sense of humor.

Hence my uncertainty - I'm not saying "this is obviously a joke", I'm saying "is there a chance this could be a joke?"

(See updates to my original comment, I now suspect it is not a joke having watched https://www.youtube.com/watch?v=DCC76jmmzkc )