Wait, wait, wait, wait.

Bigred's real name is Ben, ie. Benny?