Unfortunately random LL or LLL domains in .com .net and .org have seen fairly large drops in value over the last 4+ years among resellers.
Prices are off 10%-40%+ from what I see, again resale market, end user is end user.
My opinion it would have brought at least $10k+ 5 years ago, today $6000 maybe.
Did it just sell somewhere.....