GT235 Not Starting

I am a new member looking for some guidance. My neighbors gave me their 2002 GT235 B&S. It ran fine until it decided not to start. Will not turn over. I have purchased a Service Manual on Ebay, but it's not here yet. Two main fuses are good. I have checked the battery and the main power to the solenoid and it is fine. The small wire to the solenoid is not getting any juice when I turn the ignition. I shorted across the two main solenoid lugs and the starter spins, but it does not engage the engine, just spins. Starter and battery are new (replaced by previous owner). I also have the old starter, which also spins when I short across the two main lugs. While I await the Service Manual (coming from Canada, ugh) any suggestions on next steps? I know they took good care of this thing and they are the original owners. They had JD service it. The only thing really beat up is the hood and that's from the wife driving under trees and bushes. I'm looking forward to getting this thing going and having a real lawnmower.