Ach so, noch zur Frage mit der Reparaturhistorie. Da tut sich in der Regel ein fremdes Autohaus, wo du noch kein Kunde bist recht schwer. Ich würde beim örtlichen SEAT Händler ( bzw. Servicestation ) mal vorsprechen und das damit zu begründen, dass du ja demnächst ein guter (Service-)Kunde dort werden möchtest, wenn alles passt.
Normalerweise würde ich sowas aber beim Verkäufer einfordern. Wenn er nichts zu verbergen hat, kann er die Rep.historie doch mitliefern.