Hi all, hopefully someone can help me out with this one! A while ago I picked up a second hand cramer hob with grill to fit in my van. It has got some gas pipe attached which I assumed was 6mm size. So I ordered a 6mm to 8mm connection with olives. Problem is it will not fit. I have never come across a gas pipe this size before (somewhere between 6 and 8mm) is 7mm pipe made? Cheers Mikael.