*UPDATE*

My employee who made a lottery-period reservation during the shutdown tells me that they just got a full refund showing up on their credit card. Looks like the system won't be honoring those reservations after all.