No, his name is Mike and he's not a bad guy at all.

He's been a little put upon by some folks here and so has not spent much time in the neighborhood of late, but he is for real.