Try to contact ibmpc5150 (known as ibmpc5160 on Abandonia). He seems seen 5.25 version that is EGA.
Also, BetaArchive seems have 5.25" version, but I haven't access to confirm it (and as ibmpc5150 _is_ the member of BetaArchive, maybe it's the same version