SAV is not the same as AAV or extra air valve :-))
Not only in the book but elsewhere too:
Back to spark plugs. Most likely the choice will be BR6EF or BR7EF.
Either will be OK, regardless of the “emissions market” - fuel formulations have changed quite a bit in the last 1/4 century…