Hmm.. I think you're right. I found a gasket that fits different brands of toilets and I asked on Amazon if it will fit that particular model. I just have to wait for the answer. Apparently some of the "universal" gaskets don't work.
But that WA84 one is fairly inexpensive so it could be worth a try.