I am not a technical person and could consider myself a complete idiot in DIY or performing major tweaks. I think I understand the concepts behind audio, but nonetheless I prefer that others do the repair and tweaks for me.
I have never been happier with my system until I started using vintage turntables. Many speak of the magic between SET/Horns/Vintage tables. And my system has evolved to that. I feel that there is more music and character. I agree with Allan Songer that especially with a 3012 and SPU, a thorens 124 is very hard to beat.
When I got my 124 it seemed a bit "weathered". I live in the Philippines and that means that even if you keep it in a closed container in an attic, corrosion does find its way.
A friend of mine restored it for me. He cleaned and lubed the motors/bearings. I went to ebay and ordered some new mushrooms etc.. I went to a local woodworking shop, had a new plinth and armboard made as well.
Everyone had so much fun in the process. And hearing it was even much more enjoyable. I have been using this setup for close to a year now. I do not think it requires more maintenance than my RPM9. In my system the 124 produced more music, more emotion, and was a much more real experience.
The more modern RPM9 to me was "high-end", which was not to my liking. Perhaps there is smarter engineering in today's tables. But that does not necessarily mean better musical retrieval for everyone. I know of others who have disposed of their Pink Triangles, VPI-TNTs for TD124s and the like .
If you can find someone in your area to help you have fun with setting it up,go for it- it is a great table. Others have used 124s with a Rega to good effect as well. If I were you, I would get the P25 fixed and purchase the 124 as a project. Am sure you can let go of the 124 at a profit or use the P25 to re-imburse the restoration.