Jup. Der AV Stecker der original bei der Box dabei ist ist einfach zu breit und verdeckt somit den halben HDMI Port. Deswegen muss man bei dem Stecker die Plastikhülle ab machen. So kann man AV und HDMI Stecker reinquetschen.
Dein Stecker vom VGA Kabel ist dann halt dünner (hatte auch mal so ein VGA Kabel von BigBen) so das du die ummantelung dran lassen kannst.