Ah you're right, I didn't know external TPM modules were a thing. Looks like they're only ~10ish usd too.