Meh. Dude didn’t bother setting up find my Mac/activation lock, so when it was stolen it got reformatted and someone DID set up activation lock.
Somehow he got it back anyway, but was then locked out and had to prove current ownership.
Shit like this is often two exes battling over computer ownership, so I’m not surprised he had a difficult time proving ownership, even with receipts.