The laptop hardware might be worth $1000. But if you start including the cost of the software and documents on it the prices start going up rapidly.
I write software for a living, and if my laptop was stolen there's a good chance for it to contain 1000's of hours of my work on it (so even at a paltry $/hr that adds up quickly). If you start including the value of trade secrets for clients that goes up even more.
Yes, things are encrypted, backed up and a thief may be unlikely to gain access (or even know what to do with it) but that doesn't negate the fact that the docs are still on the laptop and very much worth something.
Heck, even if you only used the laptop to listening to music and watch cat videos on Youtube, you could use RIAA pricing for your mp3s.
Old programmers never die, they just hit account block limit.