They would only be in a PST if she either moved/copied or had a rule set to move them. What’s more likely is the client had replication turned on and the files were in a OST file (Offline folders). This file is in a folder that is hidden.
Generally that is on by default in most setups