In reading ‘How to fix a Primary Gear Oil Seal Leak’ in the November issue of Mini Magazine, I noticed that all standard sockets sizes ( 7/16, ½ , 9/16) were used. While I am preparing to purchase my mini, I would have bet on the fact that all required tools would be metric. Does the Mini actually use Standard wrenches / sockets vs metric ones?