I've not played this game in years, but based on my little memory of it, your translation seems good. Of course, the Butz pun only works if the name sticks or is translated (I think most Brazilian people would recognize the word butt).
I like Roberto Serto. It sounds good.
Maybe Eduardo Exato...