Yes. Spanner's his real name, and he's already heard that joke you just thought of. Although Spanner's not very good, he's quite fast, and that seems to be enough to keep him in a regular supply of free games and away from the depressing world of real work.