I would create a custom property for those contacts, mass update them to have said property, then create a filter for it and export the selected contacts.
This also allows you to know which ones have been exported if you ever need that info again in the future!