i typed "head gasket" in the search box and pulled up all kinds of threads.
it seems most go with OEM head gaskets unless they are not building to stock.
here is a link that may be helpful. good luck in your research.
[AEU86] EU AE86 community :: AE86 Manuals