Is there a special tool for this job ? Need to replace mine and just curious how you guys are taking them out. Would a bolt w/ a allen head and a washer the size of the inside diameter of the seal and then a larger washer and nut on the other side work ?? Thanks for any help.