Yes, they came today. The pilot line was blocked - he used a tiny reamer type tool and cleared it. Must of happened during the refit of the gas valve.
(although I don't need one, he said the pilot burners are obsolete but I checked on-line and they are readily available)