Tend to agree and that's what my gut feeling is telling me, 0.1 or 0.05, sure that happens but 0.4 seconds in a pool that no one is going close to the records, to be it's questionable, not saying either way just that it is very dubious.
I was in legit total shock when I seen the time come up.
It's something that you would think would take another 5-10 years for someone to get near achieving.