If you can afford an SR5400, then surely you can do better than an H/K 230! Have a look at onecall.com, they've got refurb H/Ks. I got my 525 for $550 a couple years ago.

At the time, the 525 had better specs/more features than the Marantz I could have gotten for the same price (probably the SR6200, I think), but that may well have changed.

I am the Doctor, and THIS... is my SPOON!