Pretty sure it’ll need to be in her carry on to claim the GST.
Yes, an export permit is (or at least used to be) required. However buggered if I can find where this is referenced these days sorry.
In saying that, most of us have done it none the wiser of this requirement.
Bookmarks