Quoted from HeronameX:Based on current marketplace ads, $7500 for a premium seems reasonable, but I wouldn't exactly round that down to $7k, either.
With some LE options technically below $10k (by a few bucks) and premiums around $7,500, those are starting to look like pre-covid retail prices, which should put pros at $6k, and that tracks with what I'm seeing for the most part. Some people will always price a bit higher and haggle down closer to the expected price. Others have upgrades that do carry value (e.g., anti-glare glass) and justify a bit more cash.
There is one for sale right now for $7100 and can probably be got at $7000. I would think pros should drop to low $5k's.