More from the "in case you were wondering" files.
Roxy has a dead battery. Not completely dead, but it won’t hold a charge or keep enough juice to actually start the car.
Just found out it’s $135 for a replacement from the parts counter at my ex dealer.
So, it looks like the MINI battery is good for about 4 years here in SoCal. Or enough starts to go past 145K miles.