my brother got hold of a used T450 with a BIOS (and I think: boot)
password. A quick search revealed that it is not easily possible to
reset it, for example by unplugging the Lithium battery. Is this correct
for this model? Do you have any hints on how to proceed?