That happened here: Discussion of the August 2017 update
Though, I think you could still say that the schedule says “shipped” by Oct, but the goal is to have them in hands. If they don’t make the goal, they may not update the schedule, but you may want Dan to mention somewhere that they didn’t make the goal, though it’ll be pretty obvious anyway.