But I believe the bag still has to be collected from the baggage belt in JNB and taken by the passenger through the customs channel and then re-checked at the facility designed especially for the purpose once one has cleared and is airside.

Last time we did this the queue at the domestic re-checking facility was so long it was quicker to cart the bags to the domestic terminal and go to the normal check-in area.