Can somebody run a Carfax please on this 1988 735 - WBAGB4312J1642135 - Mileage ?? asking $4000. Seems a little high according to Edmunds.com...

Thanks!
John D