I believe the midget record is now owned by an Esslinger engine which propelled Bobby Santos to the new top speed.