Fixing a 40-year old Craftsman belt sander