I have a couple of friends who own SGI Indigos with dead batteries on the mainboard. Does anyone have any idea where one might buy replacements for these? Thanks, David