I thought A4k's went pretty cheaply in the US? I paid EUR50,- for mine (030/full mem banks/500ish HD/MultiFace III/Kick 3.0)a few weeks back. I think the usual price for such a basic 4k is about EUR100 though.
So, yes, the price you paid sounds a bit steep to me.
