Currently, I'm going to say that that domain would go for around $25-40, strictly based on reseller pricing. It also depends on when the domain expires...
LLLL are low at the moment; my OKDN was bought by previous owner a few months ago for $210, then sold to me for 170, and now I doubt I could even get 150 for it, all nice letters plus OK and DN 2 nice abbreviations. Yours I'd say is in the $25 - 60 range tops right now. Hold onto it if you can, for a year or two