Is that 10 seconds to be considered 10 real seconds, so 5 film seconds? Or is it 10 film seconds, so 20 real seconds? I would expect that it would skip 10sec with reference to the file's time index, regardless of playback rate. Any other behavior than that would find me annoyed. Speaking of annoyed...