Well, I've got the belt off and hit the first major snag.
The Torx bolt in the idler pully (no. 12 in the diagram) is jammed in tight & rounded off somewhat.
Tried penetrating oil & diesel. Dubious about trying heat given the proximity of hoses etc. Last ditch will be to cut a slot into the plastic pulley & bust it off with a hammer & chisel.
Does anyone have the Jeep (or Mercedes) part number of the pully (and the bolt if it's not included)