Well, the poll results are back!
54% voted for the name 'Shawn' or 'Sean' (38% for 'Sean' and 15% for 'Shawn') <-corrected
46% voted for the name 'Dmitri'
So, the winning name is 'Sean'! Thanks to all of you who voted!