A joint Instagram post from the festival and the singer, 45, whose real name is Armando Perez, read: “In case you missed it, we’re going for a Guinness World Records title with Mr Worldwide, @pitbull and we need a squad of legendary volunteers to help make it official.