I recently purchased an S95 and an S202A distributor wrench at an auction. Does any know what vehicles they were for?