Hey this might sound like a dumb question.  I recently took the car into the shop to replace the AOS and also changed the oil since the car sucked up most of the motor oil.  When I brought the car home, I've noticed a small drip of oil.  I thought it was just a loose drain plug or filter.  The shop told me the next day that it is the RMS that's leaking.  I know the shop used 10qts of oil for the oil change while the manual stated 9-9.3 qts max.  My question is could over filling cause a leak or would it possibly be the RMS failing?  I have a '01 Boxster S manual with 80k miles.  The drip is coming from the center.  It is a very slow drip and goes away when the car has been parked for an extended amount of time.  I only see it leak after I drove the car for a bit.  The car did not have a leak before the whole AOS incident.  Do I just have the best luck in the world or could this be something simple?  

  Any advice would be appreciated.  Thanks.