2006 Kia Spectra Leaking gear oil

I just sent my car to the transmission shop because it kept popping out of fifth gear. I picked it up yesterday and drove it home and parked it in my driveway. This morning I went to work and noticed that there a puddle of fluid in the driveway my husband said it was gear oil. Should I be alarmed I am going to check the fluid level tomorrow to see if it is low. But is it possible that it leaked out because I just picked it up and they worked on it for two weeks then it sat for three days before I picked it up