I couldn't see any way to export data, once I had filtered or pivoted it. Is this supported at all, or do I need to use the copy mechanism? I have a ~4GB file

I couldn't see any way to export data, once I had filtered or pivoted it. Is this supported at all, or do I need to use the copy mechanism? I have a ~4GB file to filter down and analyse, and this almost looks like a nice tool for business users to use to explore the data themselves, but they need to be able to export to excel at some point.