Is there a special tool needed to either remove or install new output shaft seal? Looks to be a $30 part (seal) on ECS. Dealer quoted $1386 to replace. Wondering if this is a fairly simply DIY.