I was wondering if I should also use the Redex fuel additive?
If you have hardened valve seats fitted to the exhaust ports, no need for any additive. The Redex one was never in the FBHVC list so I'd not have bought it.
See
FBHVC Fuel information Website is not fully up to date as the best one can still be got, see
Holden But you don't need any. Won't help with temperature issues either.