receiver arc

My parents bought a new Sony TV a few months ago. A X800H, I believe. They also have a Sony 7.1 receiver. Previously they watched Netflix/Hulu/Amazon Prime Video via a Chromecast connected to the TV and audio got to the receiver via ARC. But the X800H has Android TV and they've been using...