Depends on packages, if it's a base then 5k is reasonable, if it's a zsp then I'd go up to maybe 7. Its impossible to tell though without seeing a post, do you have his CL post on hand so we could see?
But imo I think 8500 for a non zhp auto is a lot.
Sent from my SM-G973U using Tapatalk