After 6 days out of service, I picked up #140 this morning. Have no further info on what the problem was other than it involved the battery. See Matt's post in the comments section of post below for more info on what was probably addressed.
Having put 325 miles on the Cooper S, it took a few miles to get use to the MINI E again. The cars drive so differently.
Hopefully my last service visit for a while.