I actually saw two LLL.com's end for around $5000 on sedo recently. They were the worst LLL.com's i have seen but regardless...there are bargains and people aren't paying what they used to.
A lot of factors can contribute to a deviation from the mean selling price: auction closing time, absence of interest in the particular letters, domain has dubious ownership records, trademark issues, domain is not aged enough etc. Anything under $7k right now is a bargain.