Is Mario Galaxy a Good Mario Game?