If you haven't lost much, I wouldn't worry about it. I've seen a transmission with a bad cover from the factory that lost half of it's oil and was still running fine. A few drips from the seal probably won't hurt it. There's a Whirlpool part number for the oil but I just use regular 80w90 gear oil.