No, the ‘mini-AV’ is the one marked ‘AV-IN’ to the right of the hdmi sockets on the connections panel.
I don’t think Steve does a suitable cable any more, but it would be worth contacting him at his website for suggestions.
Thanks a lot for these explanations. Unfortunately I didn’t have such an Mini-AV socket as shown on your image. The arrangement is as on the image I posted.