Here's a few pics of the old starter. We decided to replace it since it appeared to be seized.
We ended up having to have one transferred to our local store from the warehouse. Once we got the new starter in hand, we did a bit of sanity testing using the bench vise to make sure it worked. Using the jumper battery, it did not. I had to use my car battery to "jump start" the starter. Once this was proven out, we went and got a new battery for the car. I wanted to avoid this so we would have a fresh battery when we get the car road worthy, but we got to get it started first. We didn't install the battery, so we could use jumper cables to "kill it" if the engine malfunctioned.