Burning tips off plugs

3923 autolite racing plug should be used with that compression.
I have been using 3924's in my 9 1/2 to 1 small blocks forever.
3923 is one colder.
looks like you got it figured out.