The car has the HKS electronic boost controller. I was guessin they were the stock turbos, considering the injectors are stock as well I believe. Purple w/ blue dot...
Well most likely I'll just order a new chip, because the highest octane rating we have up here is 90 octane and then Aviation fuel. I would hate for this chip to be programmed for 93 oct.