I asked Tanya about it and she said mine are the early high torque motors before the cooling fins were added. The previous owner used a 13.8V/5A Pyramid power supply and said it worked well, but I wanted something less bulky that would mount more easily & cleanly on my pier.
I did some initial tests (PE measurements, autoguiding tests, etc) with the 18+V NEC power supply, but I ordered an NEC ADP57 to try. It's a 15V/4A power supply, so I'm guessing it'll be plenty and also keep me very safely in the middle of the spec voltage range. I don't expect to see any difference in performance, but I'll do another round of PE & autoguiding measurements to check that a little.
Based on what others have said, I don't expect the slightly-over-18V power supply to cause any issues. However, like you said, it's easy to be under 18V. If the ADP57 works well, I'll stick with that and not think about it any more.
Thanks!
-Bryan