New firmware released today.  Not sure if it's the same as what came with Batch 16/17 or if newer (has the same date).  Description says "This package can make startup faster." fwiw

Correction - Date is 10/18.  Must get new glasses.