I hope not!
I did get the turntable back together and cycled it manually. Everything worked... then it didn't. Turns out I lost an E-clip somewhere along the way. Once I find a replacement, it should be fully functional. I'll bet it's been a good 25 years since it's spun a record. Just hoping there's no more surprises.