consiglio su acquisto lettore multimediale avchd e mkv/divx

ciao
cerco un lettore multimediale da collegare alal tv in hdmi che mi legga

divx
avchd
mkv

io per il momento uso la ps3 per leggere avchd e divx,e si comporta bene chiaramente.volevo qualcosa di analogo (cioè che mi legge avchd,divx ma anche mkv senza problemi).il migliore che c'e come qualità prezzo,non mi interessa niente di supercostoso,ecc
giusto per non prendermi una seconda ps3 xD

tra l'altro per vedere gli avchd nella ps3 devo modificare i file solitamente,con un programma (avchdMe).tipo li rinomina cambiando le estensioni (non mi intendo molto ma qualcosa riguardante un 'opzione 8.3 ,li rinomina in tal senso per far riconoscere l'avchd alla ps3).
Quindi mi servirebbe un lettore che legge gli avchd anche cosi rinominati (magari uno normale lo fa,solo che chiedo per sicurezza),poichè i filmati che ho sono rinominati utilizzando quel 8.3 files

chiaramente non so come funzionano questi lettori multimediale,però se permettessero l'upscaling a 1080p (nel caso di divx ad esempio o mkv a 720p) non sarebbe male (la ps3 mi pare lo fà)