One thing I forgot to mention: Both the official Lenovo support page as well as the Reddit thread expects one to use Windows or have at least a Windows machine at hand. As I can choose between OpenBSD and some Linux,
innoextract helped me to get the TBT.bin file.$ innoextract n20th12w.exe