This may be a silly question - but I haven't been able to find rules regarding it.

What do I do with the Galactica Damage Tokens after drawing them. For example: if I draw a resource damage marker, do I put it back in the pile after drawing it, re-shuffling the pile? or do I 'discard' it, only reshuffling it into the pile once all tokens run out (and in that case - repaired damage tokens get to the discard pile)?

Resources are removed from the pile and never shuffled back in. Damaged location markers are placed on the location and shuffled back in when the location is repaired.