What spark plugs?

…would be best suited? According to “So we do it” the NGK BUR 6 ET. Or is there any of them more likely to be recommended? E.g. the NGK V-Line or something? I haven’t looked at mine yet, but I assume that they haven’t been noticed or changed regularly since the last customer service (1994…if I know it right now)