Page 1 of Which JVC to replace AV32X37

I have a JVC AV32X37 which my 2 year old (nearly didn`t make it to 3 !) son has trashed but fortunately my insurance is going to replace it. I have been told that the AV32X4 is the replacement as mine isn`t made anymore.

Can anyone tell me if this is a good replacement. I have compared specs on JVC site and they are basically the same (32" widescreen, 100mhz etc) but I don`t know if there is any other way to compare them.

Thanks Andy.