I'm not understanding why you're saying "no mini". I'll second the recommendation for the HFW4231E-S (actually -ES is the current model). I happened to post a thread comparing it with the varifocal starlight, 4431M, and 4431R-Z. You're absolutely correct that the 4431M is good during the day and lacking at night. Even though you're insisting on the bullet form factor, at least consider the fixed-focus
HDW4231EM-ASE turret, which is the same camera as the HFW4231E-SE plus a built-in microphone. Besides the included microphone, I've found it to be easier to mount and adjust. In my location I haven't seen much spider difference between the bullet and turret design. I have spiders crawling on the lenses even when the camera IR is off (not nearly as many, however). In one of my locations where the sun shines on the lens, I found that the 4431 series had considerably less lens glare than the 4231 series starlight, and I ended up building a custom sunshade for the starlight where the 4431 didn't need it. If you want the best night vision and least spiders, use external IR. The comparison thread has some examples of that, too.
Comparison of mini bullet HFW-4231E-SE with 3 other cameras