That is a Briggs 92508, probably from the early 1980s. It has a VacuJet carburetor with an automatic choke. It was a nice, reliable carburetor that made the mower easier to use than the later PulsaPrime with the primer bulb, but some service places do not read the Briggs manual, and as a result have problems servicing the automatic choke.
If you decide to change to a PulsaPrime carburetor you will need to get the whole carburetor and fuel tank as an assembly - you can't use a VacuJet tank with a PulsaPrime carburetor.