@ggundersen3 's concerns are well-founded. The only good news is that the shop (supposedly) used -100˚ F antifreeze. The bad news is that there is no real way of telling that they did enough, unless the remaining AF/water in the block/manifolds are tested. Draining is probably the way to go...