Ochoa e San Miguel. Secondo quanto riportato dal portale spagnolo laotraliga.net, sono questi i due portieri che il Betis Siviglia starebbe monitorando per sostituire Pau Lopez, calciatore seguito da diverso tempo dalla Roma e considerato da Petrachi il profilo giusto per difendere la porta giallorossa nella prossima stagione. I due numeri uno, prosegue il sito, approderebbero al club andaluso a parametro zero. 

Acquistato dal Betis nel 2018, Lopez si è messo in mostra con gli andalusi nel corso dell'ultima stagione grazie ai 10 clean sheets collezionati in campionato.