On your registration, insurance card, or the driver's door sticker.
Ranges come from J.D. Power, Manheim and Black Book plus what Mark sees on the car. Final number after a quick look in person.