He also mentioned that he’s used unleaded 87 or so from the sound of in when it ‘requires’ 93(probably at least 91, but IIRC Si models of this year range want 93. Could that cause a miss?
Otherwise, +1 on checking for mechanical issues. Especially worthy if timing was out enough to cause a no-start condition.