The red one needs a spanish name. I don't speak spanish, but I think Juan Vasquez will suffice.

The other one needs to be called The Polytronic Supervibe. Why? Don't ask stupid questions.