On the other side of this, I doubt the police would have done anything if they reported it stolen.

There are questions online about "what if a former employee doesn't return their laptop." They almost always end with "send a threatening letter in legalese." They stop after that because the the next step is get a $300 per hour lawyer involved for a $600 laptop.