Thanks @Alabalcho!! We realized instead of HDMI setting on the receiver, we need to choose one of the AV inputs. I tried all of them but the sound was still not coming from the receiver, so I think we need to check to see what AV cables are connected and into which outputs. :)