If you want to make sure it boots up next time though, consider having it recapped : on A600/A1200/CD32 it's a matter of when, not if, low quality capacitors will leak and damage the board.