Dolphins sing ‘Batman’ theme