I wonder what he’s listening to? Maybe the Jaws theme or Baby Shark? What other shark-themed music is out there?