Filtering leads on the basis of Person ID

Typically, we filter leads based on their email addresses. However, there are instances when we need to identify leads using their MarketoIDs instead. While we can search for these IDs individually, it would be more efficient to have the option to input multiple MarketoIDs at once into the filter, rather than searching for them one at a time.