Update: We received screenshots of a zero balance wallet but with a wallet address that did have a balance.
Restoring the wallet on another machine worked and all Ada was accounted for.
I have requested this person now try to delete and restore on the original machine to see if this is a viable solution or if something else needs to be done.