Would be interesting to know if there's any blowback on the pilots.
In addition to tedious plotting of dots based on NOTAMs, EFB apps show such restricted areas.
Although such areas can go hot and cold on very short notice, depending on vagaries of launch schedules (or VIP schedules, such as Bill's haircut)... in which case pilots do rely on ATC to know the exact status.