I know someone who has a 25PS but it's from a bus (serial number starts with 20) and was rebuilt to 1200 back in the day, don't know it it runs or not, if you are interested I'll investigate, I remember it has the original distributor (and cap) for sure
thanks Alex but need to be 25 for a type I
Gunter