In this case, the best way to export your card on file customers would be to add them to a group and then export that specific group. To make your job easier you may filter your customers by card on file to help add them to the group.
You may create a new group from the top right side of your customer directory page.
