Motorraum: Motor springt nicht mehr an 740i E38

Hallo Leute,
ich bin neu im Forum und habe folgendes Problem, ( und BITTE um Hilfe ) :
Mein 740i e38 war in der Werkstatt und dort wurden die Zündkerzen und Zylinderdeckeldichtung ausgetauscht. Nachdem ich den Wagen abgeholt hatte, bin ich ganz normal damit fahren, da war soweit alles in ordnung. Nach 10km Fahrt habe ich den Wagen abgestellt und ca. 20 Minuten danach wollte ich wieder wegfahren aber der Motor sprang nicht mehr an. ADAC kam und wir haben Silikon in den Luftfilterkasten gesprüht und Motor sprang an aber nur für sehr kurze Zeit "laut adac ist die Benzinpumpe defekt". Zur Zeit ist mein Wagen in der Werkstatt (wo die auch zuvor die Zündkerzen erneuert hatten), Fehler wurde immer noch nicht gefunden, die sagen, dass die Benzinpumpe in ordnung sei.