I gave him the information you gave me,just that tokens.txt list I created based on your advice and apparently Dave did a really good job at finding the password in less than three days but no we didn't gave him the name of the cousin,we only wrote the tokens.txt file as you told us with First Name, Last Name and all other characters so yes Dave has some amazing software and bruteforcing power.
Most likely my friend used Electrum and also most likely is game over because he doesn't have nor Electrum wallet.dat file nor the seed so as you say the coins are lost.I remember back at that time that we ran into Electrum after hearing some big exchange being hacked or something like that and that taught us the lesson to keep our coins not in third party wallets anymore.I guess Exodus was not that known at that time and maybe it didn't even exist I am not sure of it so at 99.99% is an Electrum wallet but unfortunately inaccessible.
This is what I gave him
Firstname firstname FIRSTNAME
Lastname lastname LASTNAME
Twins twins TWINS
Juventus juventus JUVENTUS
@ @@
%1,4d