I know that VLC on Android needs the audio sync delay to be set manually, and VLC is usually great about implementing features when possible so I assumed it wasn't part of the protocol.