The third link even has audio of how it is supposed to be pronounced.
Uh, I think people are talking about actual, restaurant-made ramen. Not packaged noodles. Think an authentic Italian restaurant vs. Chef Boyardee.
Finally! As I type this I’m having a hot bowl of Ajisen Ramen! Mmmmmmmmm