Export TCX file of diving activity from Garmin Connect

I assume that once you complete a dive with the MK1 and the activity is uploaded to Garmin Connect that you are able to export the activity to a TCX file as with any other activity from a Garmin device.

Is my assumption correct?

Could someone make a TCX file available for me to look at? I would prefer one with metric units but will take US units if that's all that is available.