Google shows others looking for this to no avail. Size may be 6mm rather than 1/4". The tool to make them is relatively cheap. The good one is a lot more. Ran across a description saying not to use tubing cutter and to debur and chamfer the ends carefully.

6... Login to read more.