How does a dolphin wash its flippers?

With an all-porpoise cleaner.