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   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)