I'm happy to hear everything was okay after the accident. You won't catch whatever your co-worker had. Most of the time other people get stomach aches, it is some sort of ache from needing to go number two, or maybe even cramps from her period. Also, she wasn't there very long, and she never even got s* around you!