[FabHK]

As a non-American, I operate in l/100 km, and have no idea what 25 mpg is...

[ben_w]

Assuming I used the correct gallon (US!=UK), I think it's 9.4l/100km