One of the other customers offered to do it, since the guy he was with had a complicated issue involving a battery charger ... but I had five kids and some frozen food in the van, and I figured I could do it myself.
It’s got some kind of alien screws: not flat-head, not Phillips, not Allen wrench ...
Sounds like torx. Not quite allen but you can often drive allen screws with a torx driver (although not vice-versa).