Mio figlio ha acquistato una Mini usata 2014 da un concessionario. Mi hanno informato che ormai non esiste più il libretto tagliandi di manutenzione e che è tutto scritto nel loro datacenter. Sara' vero?