...and if it is that front seal, will any of the aftermarket transmission sealers work for the time being? Anyone got a particular brand they can recommend or one that I should definitely not use?