Following up:
I installed these sony headphones:
[Link: sony.com]They worked perfectly and sound great. ARC works better than expected - turn on headphones and the TV switches to ARC audio. Turn off headphones or place on charging cradle and the TV reverts back to toslink connection to soundbar. Couldn't be happier.