To avoid any misunderstanding, a point of clarification on the message I just sent: If a machine is off software maintenance (for whatever reason), then even if the site gets the new software, that machine is not eligible for the new software (unless/until Symbolics agrees).