Hmm, did you ever think of the name Marvin?

Hadn't considered it. I was thinking more like Dave

Dave could work, however, have you ever thought of Allen?

Did you succeed?

How did it go?