Hey all, new to the forum. I was just wondering if anyone could tell me for certain what pump is on these old diesels. I've heard they are a Bosch VE but I can't find any certain info or marking on the pump itself