When I asked Robinson, who once told us about a mind-blowing idea for Hot Tub Time Machine 3, if performing songs as Mr. Shark (something he’s done already in the DreamWorks Animation franchise) opens ...