While alcohol is certainly recommended for cleaning electronics (it's fairly benign), it shouldn't take as long as the stuff you had to dry. Sounds like yours had a lot of water content in it (or you just dumped on a ton).
But I also read somewhere that washing battery acid damage with VINEGAR is a good idea, as it would neutralize any remain acid activity in the residue on the board.
I'm not sure how this would work....wouldn't you need a base to neutralize an acid? Is the stuff coming out of a burst battery an acid or a base? White vinegar is an acid (acetic acid).
I know the stuff coming out of a battery is commonly called "battery acid" but perhaps that is just a colloquial term, and it is really a base.
