“Lucky”....’cause he is ;)
My thought also.
I like Lucky. The old time 1950s and 1960s dogs names might work like Shep or Buddy.