lucky red rex (rex)