That's a reasonable guess, do you have two banks worth of RAM to swap between by using just one bank? The stock ROM does a RAM test, but maybe it is not sufficient to catch the issue. Cleaning of the board needs to be fairly thorough when repairing for leaks, how did you clean it?