Entweder Nokia oder Philips würde ich nehmen. Jede der beiden kann aber so ihre Macken haben. Bei Philips kannst Du eine Zickenbox mit Fernbedienungsbug erwischen, die dann beim zappen einfach mal auf Kanal 8 o. 9 schaltet und bei der Nokia ist das große Problem mit den streifigen Displays. Dann wird meist nochmal zwischen normal gebrauchten und refurbished Boxen unterschieden (generalüberholt und getestet, meist auch neues Disyplay drin aber eben teurer). Und dann kannst Du Dich noch zwischen Boxen mit Originalsoft und welchen die bereits im debug Modus sind und Linux drauf haben entscheiden, je nach dem ob Du den Umbau selber machen willst oder nicht. Manche Boxen haben auch schon ein Multicam eingebaut und sind dann natürlich auch teurer.

Auch hier im Board im An & Verkauf gibts manchmal schöne Angebote. Kannst Dich ja vielleicht auch dort mal umschauen.