Game set and match to the greengoddess, if you do eventually decide to DIY be sure to fit an isolating gas valve adjacent cooker and face the bayonet socket to take flexible hose downwards. Can't help with pipe sizing but even most domestic boilers I come by, small and not so small, old and not so old, seem only to be fed by 15mm pipework [ though the minimum should be 22mm].I doubt if your gas cooker and fire combined amount to KW/ BTU of even a small boiler but if 15mm pipe is feeding your boiler as well as the gas fire and intended cooker you may be in the manure business.
Many thanks Jim, your kind advice is most appreciated.
I am aware that a 15mm pipe cannot be expected to supply a boiler, fire and cooker safely. I have 22mm pipe running from the meter to the boiler. Halfway down the 10meter run of 22mm it tees off into a 4 meter run of 15mm pipe to the fire. I intended teeing into this 15mm pipe at about the halfway mark to provide gas to the cooker. I know 15m of 22mm pipe gives approximately 3.5m³/h of gas flow but I am not sure how that correlates with the piping I have in situ.