can anyone suggest a portable hdd-based media player? ideally, this player would be small (using 2.5" drives), support H.264 .mkv playback (mostly 720p), and output via HDMI... it seems that there are a number of larger devices that are capable of this (the TVIX line of products looks very nice), but i am hoping to find something more portable.

thanks in advance!