Maybe the starter is okay after all. The battery drops voltage quickly, to 12.2V overnight. With nothing attached, a charge took many hours and dropped from 14.2V to 13.6v in 15 minutes. The first charge last night was fast. All that cranking was too much. But that wasn't enough cranking to wipe the battery.
I suppose I will put in the new starter as insurance.
