If you're software binning anyway, just pick a combination of pixel sizes that matches with your desired resolution... then click "resample"
There's no magic to the binning when it's not done in hardware.
Bin 3x3 with 3.76 micron pixels => 11.28 microns.