Board Thread:Activities and Projects/@comment-24125653-20131118094656/@comment-7783517-20131120221332

Gru-Bot ties in more with the wiki than Dave, so it works better to keep Gru's name but change Cookie/Boogie into Dave/Kevin if you want to, I think the names are fine.