The Feds didn't overwhelmingly choose .40 due to enhanced barrier penetration based on one anecdotal incident, they researched it like crazy. After all that major research, practically all federal agencies still use .40 S&W or .357 Sig over 9mm
You have to remember that these tests and findings were done back in the late 80's/early 90's. 9mm ammo has changed for the better since then.
Comparing today's 9mm ammo to those older tests the results would be different.