I don’t think it’s a red herring. I think it was just a nickname. “Bobulinksi” is a moderately complex last name. People often have nicknames for people they interact with regularly. “Tony from SynoHawk” becomes “Tony Hawk”, which sounds amusing because there’s a famous person with that name. Doesn’t really need to be any more complicated than that. Occam’s razor.
I don’t think it’s a red herring. I think it was just a nickname. “Bobulinksi” is a moderately complex last name. People often have nicknames for people they interact with regularly. “Tony from SynoHawk” becomes “Tony Hawk”, which sounds amusing because there’s a famous person with that name. Doesn’t really need to be any more complicated than that. Occam’s razor.