I would not, under any circumstances, run a turbo with a 20 weight oil. Minimum 30 weight. IF a Hyundai dealer told him that he should run rabbit run......
As for OCI, I would run 5K in a turbo. If you want to go more than that, look to HPL or Amsoil. Maybe Mobil 1 ESP (Euro! Oh my!!!!!)...