I saw Playstation all stars battle royale, and I'm definitely getting it but now I'm curious to know if there are any other Mario or nintendo based games for ps3?