¿Cuántas entradas hay disponibles para la final de la Copa del Rey?