As a non-American, I operate in l/100 km, and have no idea what 25 mpg is...
Assuming I used the correct gallon (US!=UK), I think it's 9.4l/100km