A guy I work with (I wish it was me lol

) bought btc back in early 2013.
- He has an email with an attachment (assuming wallet back up)
- He has an email with the 12 words
- He has an email with a wallet id number
I'm guessing he has to downlaod bitcoin core, and then he can open the attachment, get his btc, and be

I could be talking out of my ass though, so any thoughts on if this is the way to go about this, or not.
Thanks.