Hi, I just bought a used 800 MHz Powerbook G4 that has a battery model M8511. Someone who has an 800 MHz please tell me what is the proper battery model number for this generation. Thanks, Jerry.