Question: What is the nickname of the Cuban professional boxer that Dave Allen fought in 2016?
Sentence (from "Rockin' Dave Allen"): Approximately eighty minutes of Allen’s recordings remain unreleased.
Relevant evidence: No