Im wanting to sell my ET9000 STB. Its in full working cond & comes with 700GB HDD, + original box

The Remote will need replacing as stopped working (bad contacts on buttons) but can be fixed if re coated (£5) & is also in good condition.
Whats a guide price ?