As far as I know, an ordinary power supply will work. If the original PSU had such a cut off when the battery is fully charged, that's news to me. However, I don't have anything like the expertise of some of the others commenting here. The model number of the PSU is given earlier in the thread. You...