I love the name Arthur but I also love being able to use nick names- always using the full name seems so formal. But I'm not keen on Artie or Art so I'm probably not going to call DS Arthur... Unless I can think of a nice nickname!