Denon DP 1200 vs Denon DP 52F

I just inherited a DP 1200 and am initially impressed but I could use some expert advice. I now have the DP-1200 and a Denon DP-52F. Both are in beautiful shape but I only have space for one TT. Which should I sell? Which is the better TT?

Also, does anyone know where I can get a copy of the manual for the DP 1200? I would like to make sure it is set up properly.

Thanks in advance for your help!