I think you are right Googled the numbers (best I could) “e4 25Q128 13EDF 99 CHK 65215N bios chip” And I saw the almost identical image from the following post. I will start shopping for the tool you mentioned… stay tuned