Ho trovato un Garelli Mini (non per bambini) in vendita

e il venditore asserisce che la cilindrata è 25 cc

Qualcuno sa qualcosa di più su questo modello?

Preciso è munito anche di libretto.