So the name Playstation OMNI ..who else like it?

[NintendoPie]

Miguel_Zorro said:
Omni is ok, but it's also the name of a bad TV station here. They won't call it PS4 because of the number of people who think "4" = bad luck.

Wasn't the number 13 bad luck? I've never heard of 4 being bad luck, ever.