File:Dr. Flippers’s theme song