does anyone know that nut size or the exact tools i will need to do this so i can take the right ones with me when i go to my dads house to change the seal and where the best place to get the seal from would be