Agree… you should be fine running pump gas 93 Octane.. and play with timing once it’s running as Panteradoug suggested!
and if push comes to shove and you get a little pinging going on when it’s extra hot , you can add octane booster… I had to do that on my 1974 911 Carrera (210hp) I brought from Germany… Worked great!
but I doubt it very much being in the 9s..