So, nun habe ich eine Lösung, die erstmal gut aussieht:
list($usec, $sec) = explode(" ", microtime()); // $usec = 0 .. 999
$video_nr = round((mysql_num_rows($res_video)-1) *$usec); // $usec*1000 /999
mysql_data_seek( $res_video, $video_nr );
$q2 .= "usec=[".$usec."] Video [".$video_nr."] von [".mysql_num_rows($res_video)."]\n";
$row = mysql_fetch_array( $res_video );
$q2 zeigt sowas wie
usec=[0.70144700] Satz [51] von [73]
usec=[0.22541200] Satz [16] von [73]
Mal sehen, ob mir in den nächsten Tagen Häufungen oder Löcher auffallen.
Danke an euch und Gruß, Gast