Isn't the above water music the Super Mario 64 water music theme? Also, really cool demo!

edit; oh I get the play on the title now.