hi all i want to change the boost pipes on my 03 wrx to silicone ones i was just wondering if i am right in thinking that they are 4mm inside diameter,the reason for asking is if i dont buy the right diameter then the boost is surely to be restricted isn't it?