The EJ25 (and the EZ25 that followed it) were known for head gasket problems to the point that many were replaced preemptively. I wouldn’t say that having had it replaced would be a trouble marker here; indeed, if they had proof it’d been done, I’d call that a plus.