Hola.!
Seguro que otros conocerán el tema mejor que yo, pero opinaría que haber estado en bandera Española no es garantía suficiente de haber pagado dicho impuesto.
Creo que depende de la lista que se matriculó en España en su dia.
Si estuvo en 7ª si estará pagado y seguramente constará esta inscripción en la hoja de asiento.
Si estuvo matriculado en otra lista y se hubiese matriculado con exención de ese impuesto ahora tocaría pagarlo para matricular en 7ª, pero la cuota se calcularía según la edad y valor del barco.
Saludos.