I'm moving a vanity/faucet and the supply lines are a bit short for the new location (short in reference to where supply stubs are plumbed in new location, for some reason). I thought it would be simpler to buy new supply lines but apparently I have a European-made faucet and the supply lines have a male end that fastens to the faucet and the female end to the supply. My guess is that the female end is 3/8" but I have no idea what the male end size is. I saw some hoses that have an M10 measurement listed but I want to make sure. I don't know if this is a standard measurement. So my question is, does anyone know the standard size for male and female ends for a braided stainless steel bathroom faucet supply line?