x86-64 is an option as far as availability goes yes I agree, but not from a value for money point of view..
Really? My Core 2 Quad Q9450, with 12MB of cache and running at 2.66GHz was about 200 quid when it was brand spanking new. I'd say it has proven itself to be pretty damn good value for money.