Fix that yourself with generic line, because that's 100% what the dealer or any shop would do because it's extremely unlikely the factory line is still available at this point. Any auto parts store should carry something of a suitable diameter to splice in. Besides what they have for you to look at yourself on the shelf, they have spools of all kinds of hose in the back they'll cut to length for you.