If you have a nearby electronics store that are willing to solder a new 040 for you on the board for a cheap price, get an 040 at 40mhz. These things go for nothing at eBay. You'll need a heatsink and fan though, the 040's at 40mhz run VERY hot, even the 40mhz ones.
Or if you're more lucky you'll have one socketed in your board, wich is kinda rare I think.
