Ha ha, nothing too serious... Just sent some Erc20 tokens to a phone ether wallet instead of a holding one. Just need to extract the private keys (the wallet is built for ease of use and so all of that is hidden from the user..). It seems to be possible, so it goes on the list of things to do on the weekend...