Premio de Loteria compartido - Declaración de la Renta

Nos tocó un premio de lotería de 3000 euros a 2 personas (1500 por persona que estarían exentos), cuando fuimos a cobrarlo nos retuvieron el 20 %, indicando al banco que era compartido entre dos personas y que dos personas eran. El banco nos entregó un papel para poder declararlo en presenta año y así que nos devolviesen el dinero cobrado.
Cual es el proceso que se debe seguir para que devuelvan lo cobrado? Hay alguna casilla en la declaración de renta donde indicarlo? o debo presentar algún modelo adicional a la renta?
Saludos y Gracias
Raúl.

están exentos 2.500 euros del premio y la exención se reparte proporcionalmente entre todos los que jugaban proporcionalmente a su participación. No son 2.500 euros por participante, la ley está bien atada para evitar que lleguen 10 personas diciendo que jugaban el mismo décimo de la lotería o el mismo boleto de la Primitiva y así multiplicar la cantidad exenta.

Es decir, no os van a devolver nada y no tenéis que hacer nada más. Será justo o injusto, pero es lo que hay.

Más información:

https://www.agenciatributaria.es/AEAT.internet/Inicio/_componentes_/_Le_interesa_conocer/Historico/2017/Premios_sorteo_loteria_de_Navidad.shtml