The main thing keeping from using the Xert workout player (as opposed from the Garmin one) is that I don’t have any flexibility in the lap durations, so I might need a bit more time on a rest interval or some other reason, but all I can do is pause the workout, meaning I’m not recording anything. Is there some way to do this that I’m missing?