His info definitely says it's a 5.2. It's also an Orvis, as you can tell by the interior. I'm fairly confident all Orvis' came with the 5.2. I'm sure someone will correct me if I'm wrong on that one.
EDIT: I'm only somewhat correct. The 5.2 was standard on the Orvis and the 4.0 was an option. Now, did the 4.0 drop the cost of it if you selected it?
01 TJ - 4.0L, NV3550, 2" Skyjacker budget boost, Xenon flat flares, LoD front bumper, Tuff Stuff rear bumper, RH4X4 sliders, 33" STT Pros on 15x8s