Can anyone confirm the outside diameter of ARB air line? I have the usual blue line running to both front and rear lockers and I want to replace the rear run with red to aid trouble shooting in the event of a problem. My Jeep is a 'few' miles away and I can't measure off my own lines. Is it 4mm?