Yeah. If selling a machine on eBay it's probably better to reformat and reinstall the OS as well as give the new buyer the discs so they can do the same if they choose. Apple has a
support article for this. It's not the smoothest or simplest process.