Walthers is the US distributor, and they list quite a few Big Boys at $319.98, even the digital versions that include an Arnold decoder. However, they show #4023 at $350. Does anyone know why this one is more expensive than all the others? (It does NOT include a decoder.)