SFDC ID Searchable & Usable in Smart Lists

My SFDC admin has asked me to update some leads based on the Lead ID (a Salesforce field). We have a lot of duplicates, and I need to merge some of these fields based on the Lead ID. Looking into our database, I can see a "SFDC ID" field in lead records, but I am not able to run a search by "SFDC ID" in Smart Lists.

There area lots of ideas in the Marketo Nation forums, but none of them are ideal. It would be greatly appreciated if Marketo could make these fields usable for Smart Lists, Search (in program "Members" and in the Database).