Almost certainly (though not impossible). Seriously doubt they went any deeper, i.e. rootkit, UEFI firmware / BIOS compromise, etc… There are likely files (pictures, documents) that your neighbor would not want to lose on their machine though so you should figure out how to get those off first.