This was pretty much a waste of time - the person I'm helping either forgot about their BTC ownership status or used also a different app/website for bitcoins.
Because booting into Hiren's is exactly what I did earlier today, then it was much simpler to find the wallet folder with just explorer. It was Users/<user>/.electrum/wallets which was probably the default installation path for that version on Windows. I copied the wallet file and pasted it into wallets directory on my laptop. But the account was once again empty - it is most likely just the 13 word seed account I got into earlier. Unless simply copying and opening it is not sufficient?
Anyways, thanks everyone for help so far, here's probably my last question - any clue which other app/website was popular when Electrum 2.6.3 was used (around March 2016 or a bit later from what I see) and could have been chosen by a not really technical person? The 12 word combination may be the seed for it. Unfortunately I didn't see any other obvious bitcoin app in Program Files, so probably a website? Or it could be just all imagination. Hopefully not.