Just wondering how much an EK9 S4C box is worth these days?

I couldn't find it on the search.

Thanks