So, last week I received my Zombie! Yay, let the fun start

Opening the package and checking for completeness I found that the shipment included 3x MIC4422YM and 1x NCV8461 mosfet drivers. Based on the BOM and the Zombieverter wiki I expected to receive 3x FAN3122 and 1x NCV8461 drivers.
Based on the number of 4422YM drivers I assume they should populate position IC27, IC28 and IC29.
I've compared both drivers, they both seem to have the same functionality, the main difference between them seems that the MIC4422YM has a higher max. output current: 9A v.s. 4A.
I assume the MIC4422YM drivers are replacements for the FAN3122 driver, but I'd like to know for sure since I can't find any post on this. Could someone verify that my assumption is right?
Many thanks!
BR Sander