His name was Batman at the shelter. We call him Bruce to protect his secret identity.

source: tech-news-4u.blogspot.com