It was a relief to find a genuine JVC remote to replace our broken one.
& also cost effective...
I could've spent money on a "universal" remote with no guarantee it would work & then stress about programming it & such.
But, buying genuine JVC remote meant all I had to do, was put in the batteries & get back to Channel surfing ;)