Hi ppGrnd,
Until someone writes an "auto rewind X seconds each time the file is paused" plug-in, there is a simple 2 step work-around. Just select the short (5 sec) rewind before selecting the pause. Even better if you can get the "Repeater" plug-in to allow you to adjust the short rewind interval.