The antenna has been broken for a few years and I finally got motivated to take a look at it. The motor still spins but the plastic cord that hooks to the antenna is snapped. I wasn't able to get the old antenna off the assembly to see if it could be fixed.
In searching for a new one it looks like the TVR has unique wiring for the antenna. There is a Red, Blue, and black wire. Black is chassis ground. Blue and Red appear to be tied to the aerial up/down switch where they are blue/red = +12 for up and -12 for down. That means they swap.
On a modern antenna the Red should be always on, black = ground, and the blue should be 12V for up and 0V for down (tied to the radio antenna enable wire). If i cant find a replacement
1) Manual antenna like an animal
2) Remove the switch and repurpose the wires to the trunk (Fix the source)
3) Use a couple diodes and rewire in the boot (fix the antenna wiring).
The Wedge Bible has some mismatched information, and it is also possible that some post manufacturing bafoonary was done on this car.
Some conversations on the subject