So, I don't speedrun this game (I do Mario 64) but I do casually play Sunshine in Dolphin (with only the greatest moon jump and infinite hover and no gravity spin jump codes) and I was doing Gelato Beach red coins when i realized something: Mario swims faster if you go ABABAB to go up down up down when swimming. Can anyone confirm this?