But a newly purchased 65C02 (either WDC, or Rockwell if one can be found) is still a good idea. It could be used to get the SBC running and then the SBC could be used to test the original NMOS CPU. And presuming the latter is functional then maybe it could be sold along with the other pieces of the drive.
(It's worth noting that, compared to NMOS 6502's, WDC C02's have some minor pinout differences that need to be observed. But the Rockwell pinout is identical to the original NMOS.)
-- Jeff
After doing a basic power test using an Arduino as a 5v power source, it got a little bit warmer than room temp, like maybe 75°F (My room temp is 72°F). It's very likely that my 6502 is still working fine!