Just some ideas...
Maybe it's not the engine she thinks it is. But also, there are a lot of people selling parts for that engine on eBay.
There's always junk yards. I'd have her call the local ones to see if anyone has the same engine.
Finally, if she has the original part, maybe it can be...