We're needing to replace a gasket in our casita's toilet but can't find a model (or brand, for that matter). It's almost definitely the original toilet from the factory. Does it look familiar to anyone? Anyone have ideas how we can figure out make/model?