Hi,
I was swimming the other day and bumped into a kid. The F5X thought it was a new lap so I wanted to edit the lap times and was afraid it would be a pain.
I used this website http://www.swimmingwatchtools.com/ and it worked great, it is very simple and takes about 1 mn.