How to Export Filtered List of Contacts?

How to Export Filtered List of Contacts?

This seems like it should be simple, but I'm stymied.

I'm trying to export a filtered list of my Contacts for analysis in a spreadsheet.

The use case is that I'm an ecom business based in the US. The bulk of our customers are individuals stored as Contacts. I'm trying to pick a location in Australia to store inventory based on our historical sales there. Because most of our customers buy once (we sell a durable good), I just went to my Contacts and set the filter for the Mailing Country to be Australia.

Brilliant! I've whittled down my list of 22,000+ to just under 300.

Okay, so now what? I have looked everywhere for how to export this list, and I can't figure it out for the life of me.

The Settings | Export doesn't work (too few rows allowed), and it seems dumb to do a full backup to extract the handful of entries I want.

Please tell me I'm just being dense and that there's a way to do what I want. Any help is appreciated!