Thick walled steel tube
 

Does anyone have any, or know of a source of, a short length of thick walled 'heavy' gas tube. Nominal bore 8 mm, OD 13.9 mm, wall thickness 2.9 mm. Wanted for oil tubing in two 500 mm lengths.
The one supplier who lists this small size sold out before Christmas and is not restocking. Thanks.