If so, it still worked for several hours after the maintenance was completed.