Casio CTK-3200 vs WK-6500

[thrasher26]

I have the opportunity to purchase either one for fairly cheap right now. I am mostly intending for this to be a home studio recording keyboard and workstation, mostly light synth and ambient piano. Has anyone used either of these and would you recommend either for my needs?

Thank you.

Edit: Just for the hell of it, lets throw In the WK-7500