Some of the time might be nice tho

What tuners say in public and what the reality is is often two very very different things anyhow, so cant be sure, but id guess 9.5 isnt far off the mark on 120octane, as chip said.