Thanks for the link. Unfortunately, I'd already decided to go ahead with the Mars rather than the Mars Pro, and bought it from Amazon. Should be here in a few weeks.
As Nigel mentioned, the resin printers are restricted to much smaller object sizes. That won't be a problem in my case. What I need is the high resolution. Plus I figured that there are plenty of filament printers around now, so that if I need a larger object printed, I could probably find someone to print it for me. I imagine I'll get my own filament printer at some point.
Nigel, you mention that the resin printer is more dimensionally accurate. What about shrinkage? When I was looking at the different types of resin, I noticed that the various resin specs would list shrinkages of around 7%. I didn't understand exactly what they meant, because I couldn't imagine the object shrinking that much without also becoming very distorted.