You can take the Mario sound out if you want. I was thinking for it in a different place but you put the credit music there instead and it sounded better. So yeah. Take it out and update it if you want. Don't have to.
Anyway, other than that, great job everyone!