Yes that is it indeed; I was just thrown off by the bold appearance.
Quizás Optima, pero la letra "R" parece diferente.
Looks like a match, but the E and N look different.
Some more samples:
more of the same font on pulsedmedia.com
Xenotron with a modified slant
hi, i remember a few years ago dafont had a great category that had various video game fonts like namco, pac man, neverwinter, etc., what happened to it?
Huso horario CEST. Ahora son las 08:09