HDD Encryption is always a good idea.  But if your wallet password is really good, then even if the thief does get access to the file, they will not be able to crack it before you have had time to move the BTC to a new wallet.