If you report an issue, the workshop either finds an issue & fixes under warranty or they write on the workshop docket "No Fault Found" therefore you are covered.