**We received a notice from AWS that @search-prod5@ will be retired on December 8 because the hardware is being replaced; we should shoot to do this before the staff meeting in DC.
The date given was 12 AM on 12/9, which works out to 7 PM on Monday, 12/8, Eastern time.
Completed.