Can you please tell me the part number of U401.
To me it looks like max1540, but I cannot find it listed in that package.
The IC that let it's smoke out is a dual Mosfet and it is looking like it is a dual N mosfet.
The Mosfet switches the power input to the device from the battery supply to the AC supply when an adaptor is plugged in.
Judging by the footprint of the fet, this one should work DMN3018SSD, but it would be nice to find the datasheet for the MAX chip that controls it so we can confirm exactly how it is working.
Now, the next thing, I wonder how well the leak sniffer even works. I have one and it's not worth the batteries that power it, so I just keep it for auditing purposes because we need to have it by law.
I have never found a leak with one that I couldn't already see/hear.
And for those sneaky leaks, charge the system up to 350psi with nitrogen. You will find the leak

Cheers