Older Marantz high-end 14EX, 18EX and 19EX receivers? Do you know the differences?

[morkys]

I have a Marantz SR 8000 which I love very much. I am thinking of upgrading to a Marantz SR 14EX, 18EX or 19EX but it is difficult to determine the differences between these receivers. Some say the 18EX and 19EX have 130 watts/channel and the 14EX is the only one with 140 watts/channel while others talk of their 18EX or 19EX (or even the 18 or 19 non-EX) as having 140 watts/channel. Does the 14EX have HDCD decoding? Does the 19EX have DTS-EX while the others only have THX-EX?

If I could find an owners manual for the 19EX it would be handy. If you can direct me to a PDF of an owners manual for the 19EX and/or you know the differences between these receivers, then please offer what info you can. Thanx.

edit - I have downloaded owners manuals for the 14EX and 18EX but nothing for the 19EX.