bore size

Hi we are having a Britannia range cooker installed. I am getting parts for the plumber to come round tomorrow to fix it. On SF they sell the standard hose with bayonet fitting (as recommended by manufacturer), which has a bore size of 9.5mm. Isn't that too tight for a range cooker which has...