sentence: an arcade redemption game entitled tux racer arcade has been released by roxor games ; a sequel entitled tux 2 arcade has also been released , featuring four courses and four characters from the commercial version , namely tux , his friend trixi , a female penguin , boris , a bear , and samuel , a seal .