It is very common for the tranny pan to crack & leak. I would say it's probably the pan or Mechatronic's Seal. I would suggest changing both if it has not been done. It is a fairly easy DIY that you could do for around 250.00. This should cover all parts & fluid needed.What about the little amount of oil he found on the transmission oil box under ter car? Is it a big repair?