I'm confused. Carmax isnt the place that is/was selling the car with the odo rolled back. In the autotrader link, it looks like "Imports - Domestics" is selling it. So maybe Carfax sold it to that guy, then he rolled it back..