Does anyone what part of the film Muppets Most Wanted Walleye pique, lúcio appears in?

I have no idea what part of the film he appears in, but i assume he had a background cameo in Working in The Coal Mine.