[[email protected]]

On Monday, June 9, 2014 11:49:34 PM UTC+1, Bob wrote:
Their .pdf manual says the Plug is 3.5 mm and also 1/8 inch.
Obviously, it can't be both, as their is a "meaningful" diameter
difference (0.0057) beteen these two dimensions.

1/8 inch is American and 3.5mm is Rest Of The World.

It should actually be the same plug, just that Americans don't do mm.

Owain