Finally found a used Model 01... but I think it's bricked :(

Just to close this out, I got a helpful response from Jesse via email. It’s not certain that a repair attempt would be successful, and the shipping cost is substantial. So I’m going to chalk this up as an (expensive) lesson in buying used equipment.