Thanks, @Bill3! He joked with me yesterday over instant messenger over something small, but we've also had very limited interactions since this conversation that I am talking about.