
That's a tricky one, you would indeed need a book with the part numbers in order to know what kind of gasket you need.
I know that Old Tom (member on Pocketcalculatorshow, but here too i think) has such a book, maybe he is willing to look it up for you.
You could try and PM him, and ask him
