Gentlemen, I bought a K1 model 25 years ago. The bike was in the garage for the last fifteen years. Two months ago I starded to restore it. The first difficulty appeared last week: I have to change the fuel pump, and it is hard to find the original pump (bosch code 0580 463 999) in Brazil. Which alternatives can be in place? Regards,