EW!   I might start sleeping with ear plugs in now too.   I have heard you eat 8 spiders on average in a lifetime, some in your sleep.   So many things to be scared of with bugs! I am so glad they were able to get it out.   Tell her I hope she gets over the trauma of it okay.