Differences between UE32J5600 and UE32J5500

[Uca]

Hi,
I bought a Samsung TV, model UE32J5600 and after a month needed service - no image. Service tech came and changed the mainboard, but after that the model name changed into UE32J5500. A week later service tech came again and from the service remote changed the name into J5600, but it's nothing changed except the name.
Can you please tell if there are any differences between those 2 models? Service tech says there is not, but I see some.
Also, can you help me change the name back to J5500 (hidden menu or something)? I want to make a complain and need evidences. I tried with Info+Menu+Mute+Power, but I couldn't find any option to change the model name.
Thanks,
Uca