We don’t have a built in wallet, if there were any lost funds they should contact the wallet provider. We have one click wallet setup to avoid issues like this, it sounds like they were using an NWC connection without a one click wallet that they would just need to attach again.