Little off topic but I see the dealer shows an Autocheck report available for a price. Did a little checking on Autocheck, never heard of them. One clip:
"AutoCheck, owned by Experian, is notable for providing a vehicle "score" — a number and a range — such as 85 out of a range of 70-90. It is meant to be a quick way to identify and eliminate vehicles that might have issues, ranging from high mileage to reported accidents.
AutoCheck's scale isn't zero to 100, which can be confusing. We ran the VIN of a 2015 Honda Civic, and it received a score of 82. Sounds like a good car, doesn't it? But this Civic was in a major accident, declared a total loss and issued a salvage title".