If it still has its original partition then I think they can reset to the original OS.
I had to reset a macbook recently where I had swapped the HDD out so had no internet partition. for that i had to use the internet based restore.
I don't recall exactly which version it restored to though as i sold it on straight after. But it can definitely be done.
Uncle Google will no doubt provide the steps to initiate the internet restore.