Da mich das auch interessiert, hab ich jetzt mal gesucht und bin auf eins gestoßen, das StreamBox VCR heißt. Ist aber offenbar nicht einfach zu bekommen (Probz mit RealMedia) - ich hab bisher nur ne offenbar chinesische Version gefunden - das macht die Bedienung leider unmöglich...