スノコにレッドフォックス、日本語だと赤いキツネ。カップラーメン風の名前ですか。