It's a model 14 Briggs. They're about the same size (outside dimensions, not engine capicity) as a more modern 8HP Briggs. There probably aren't a lot of rebuild parts available for them anymore but the shop you've been dealing with should be able to let you know for sure. You can also get the parts manual on the Briggs site and enter the part numbers for prices and availability.