Hi guys I’m wondering what the actual name of this plush is since I’ve only ever known it as “Mold Mario.” Does anyone have an idea?