Arthur is a family name, really like the nn Artie and could use Art when he gets older in case Artie is too cutesy. And he'd have Arthur for a "proper" name. Is is too like the suddenly very popular Archie/Alfie?