I’d bet that you’re just fine. Still, with a GDI, I would change it every 5k or 6 months (whichever occurs first). Heck, I do that with everything I maintain anyway. Short trips are harder on oil than constant driving and piling on the miles.
$60-$80 a year is cheap, heavily contaminated and...