[Trevor]

"geoff" wrote in message
...
On 4/08/2014 9:40 a.m., wrote:
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.


The original dimensions of plugs were 1/8" aand 1/4" . They are now
described as 3.5mm and 6.3mm .

Right, especially depending on where in the world you live.


0.0057 is within the range of manufacturing tolerance, simple wear and
tear, or maybe even room-temperature variation.

And more particularly well within the range of the spring contacts!!!
These are NOT precision connectors.


I wouldn't stress over it...

Me either.

Trevor.