Ok, have been having a weird charging problem. It seems that over 4k rpm the battery light comes on. Ok, probably a bad alternator electronics. But...