17 civic si

Hello, has anyone here had issues with head gasket on these 10th Gen si's running stock ? Im about to pick one up. one owner 80k but getting hesitant, owner stopped servecing the car at 68k then traded in at 80k the dealer sent to auction a few days after posting for sale . Im guessing they must have found some serious underlying issues that's not noticible to the public eye? What do you guys think ?