[Monkey Wrench]

good to change thoes small hoses it wont break the bank. you can likely use a standard diameter line rather than metric . its a bit forgiving as it has some stretch. its probably actually a metric size to be truly perfectly OEM correct.