Has anyone tried the GBA/DS movie players that are available. The one that you throw a SD card in? Any advice on whether it would be worth it, would work with a 2gb card and what format the movies need to be in (I run linux so I dont want to use their software) would be appreciated.