In case it's helpful for you to know, you can set up Bitlocker without a TPM. Google for instructions. It works well.