Electrum is a great wallet for those who do not want to have to download the entire blockchain. I've suggested it to several people and really happy with it.
Glad you were able to use it to recover some funds.
So true.. not your keys not your crypto.