Interesting. If TPM+PIN does not help, then what stands between Bitlocker and TPM unsealing the key?