yeah, I'm thinking "typical use" scenarios, and made a few assumptions--that the power drain is perfectly linear vs time, etc. Still though, we're in the ball park.
The place where I was seeing the 3600mAh battery for 41xx was here:
HP 4100 Series accessories
It's pretty clearly marked as a 4100 series page ( not even 4xxx) so the implication is that the 3600mAh battery works with the 4150/55. I have my doubts. I believe I read somewhere that the 1800mAh battery comes with a replacement battery cover, and does add a few millimeters to the unit width. That's borne out a bit with my HP iPAQ mini keyboard--a second adapter comes with it that's labeled "4100 Ext Bat" allows for a bit more room, especially towards the bottom of the unit. I just don't see how the 3600 unit would fit, so for now, I'll assume it's a misprint

Oh well. I'd be willing to trade off some weight and size for the option of extended use during those times I need it, but otherwise, the STD battery holds me for a workday.
edit: fat fingered the URL.