Changing my 'box oil today but wanted to know the size of the copper washer used on the drain plug. Anyone know? Thanks... :)