Well, the exact mix ratio is 24:1, but 25:1 is close enough, for sure. 8 pints � (1/3 pint) = 24. And yes, definitely avoid E10 fuel.
It's easy to get tangled up with Imperial/US unit conversions, but that's not necessary when working out the mix ratio.
Working out the direct volume conversions is another matter, as US [16 fl oz] and Imperial [20 fl oz] pints are different, and therefore so are the gallons. Even though there are eight pints in one gallon, in both systems.
I agree with CyberJack on its being a bitsa; that base looked very familiar, but the cast logo caused a bit of head-scratching. 'Yeoman' would be somebody's store brand, as he says. Victa made those for many chain stores, back then, and they would put on whatever name the store dreamed up.
You were in luck with the spring, for sure. Good outcome!