Hallo KH,
selber Basteln würde nur unnötige Arbeit und Verdruß bringen. Die HD-Pumpen bekommst Du gebraucht bei ebay zu einem Bruchteil des Neupreises, in der Autoverwertung auch, dort aber nicht so günstig.
Wenn Benzin eingedrungen war, ist die Pumpe wegen des Metallabtrags schrott. Benzin hat keine Schmierwirkung.
Im Normalfall ist aber nur das Öl verharzt/ verkokelt und die Pumpe ist nach Reinigung und Neubefüllung wieder voll funktionsfähig. Wenn Du einer gebrauchten Pumpe nicht traust, kannst Du sie ja sicherheitshalber zerlegen, reinigen und neu füllen.
Die Pumpe meines Sohnes hat mittlerweile fast 100 000 km seit dieser Prozedur überstanden. Verwendet habe ich damals Syn-Power vom Praktiker-Markt. Ein Öl mit synthetischer Formulierung, was das auch immer heißen mag.
Viel Erfolg,
Peter