Thank you for replying SeanD.
Firstly, yes I am using it with my phone and the Samsung Health app. You are quoting exactly what should happen, according to the manual. But when I scroll down to the bottom of my workout, again, you're right, there should be the option of exporting my GPX, but...