Just had my annual a month ago and they changed all fluids. I did a shakedown drive of about 50 miles and noticed no problems but after a second drive of about 40 miles I noticed about 10 drops of red fluid which I assume is ATF. dripped about 4 inches inside the back of the right rear tire. I wiped it up and it appears to have stopped as the car cooled. I know the transmission plugs are on the other side of the transmission. Wondering if the mechanic screwed up something before I bring it back. 2008 F1 F430 20k miles. Any ideas appreciated.