Is it just me or does the steering box oil seal seam very flimsy when compared to the idler arm seal? Is anyone machining the steering box to install a beefier seal? Is it a good idea to do this? If so, what is the seal manufacturer and seal number. Thank you, John Spaur '62 MKII 3000