As you mentioned, not everyone would know, nor have the capability to reformat. This is doubly so for steps I take with administrative passwords, firmware passwords, hard drive passwords, etc. to make it further difficult for the thief to reformat the machine.
Pro-Tip: Leave a guest account, and have everything else encrypted.
(Looking forward to OSX Lion's upcoming support for a browse-only guest account on the unencrypted boot partition when using filevault2)
Numerous sources can attest to this, but here's a generic reference: https://secure.wikimedia.org/wikipedia/en/wiki/LoJack#LoJack...
As you mentioned, not everyone would know, nor have the capability to reformat. This is doubly so for steps I take with administrative passwords, firmware passwords, hard drive passwords, etc. to make it further difficult for the thief to reformat the machine.
Pro-Tip: Leave a guest account, and have everything else encrypted.
(Looking forward to OSX Lion's upcoming support for a browse-only guest account on the unencrypted boot partition when using filevault2)