Coke war im August 2016 vom damals aktuellen Europa-League-Sieger FC Sevilla zu den Knappen gewechselt. In seinem ersten Testspieleinsatz gegen den FC Bologna am 4. August 2016 zog sich der Spanier eine schwere Kreuzbandverletzung zu, die ihn zu einer mehrmonatigen Pause zwang. Seine Pflichtspiel-Premiere feierte er im Derby im April 2017. Insgesamt kam Coke bisher auf 9 Bundesligaspiele (1 Tor) und einen Einsatz im DFB-Pokal.