Yep that’s his name. I can’t believe his family didn’t change their name. I’m sure he’s heard all the jokes over the years.
My dad knew somebody whose family name was Lifshitz, and they changed their name , for reasons we can all understand.
I once knew an Indian (dot) fellow with the last name “Dixit”. When he first came to America, he spelled it “Dickshit” ...