[morzh]

If you end up stuck with it, considering she liked that enough to buy it, why don't you try to contact a (the) local antique radio society/club in where she is.
Often time folks (I worked with guys from Alabama ones) take on jobs for very reasonable amounts of money. Especially if it is only the turntable job and the radio unigt works.

Now just for educational purposes: German units of the period, like this one (I have recently finished restoring one of those, exact same finish) do indeed sell for this kind of money, even unrestored. And they sound incredible.

https://www.radiomuseum.org/r/grundig_ma..._8058.html

Of course restoration is pretty involved.
If she is able to get rid of the monster and finds one of these in fully restored state, this one would justify a splurge. But since she proved to be not very knowledgeable in these, advise her to have someone to consult or assist her with the unit eveluation.