I don't believe there was a red-banner factory 3-hole-punched version of B4. TSR had gone away from hole-punching when they started printing modules with the red banner and the new TSR logo.
Some of the earlier printings of
B2 were also 3-hole-punched at the factory. Most of the other products that were 3-hole-punched were accessories.
3-hole punching of products was fairly short-lived.