That's the one!!!
I, too, was browsing through the Energizer web site, and noticed they have two versions - a 4AA and a 4D. The 4AA looks like a nice compact size, but the larger 4D seems more practical for car camping (more light, longer run time, etc.), which is what I intend to use it for.
If anyone has either one, give a shout out!