If this was a Dell computer their automated manufacturing “build” sheet for her s/n ‘puter would have the s/n’s of the hdd recorded .... if the drive was reformatted , put in a “spare” status and re-used in another computer then the data is lost. If it was simply quick formatted and is on a shelf then the story changes .. but I think we all know it’ll never be produced and no definitive tracking of it will ever be established.
Good point on all accounts. Also goes to show how liars have a hard time keeping their stories straight.