Working washing machine- tiny leak (West Side - Dexter)

Samsung front loader. 12 years old. Works fine. I’ve never seen water before, but noticed a small puddle and water residue when I removed the unit to replace the floor for other reasons. There is a tiny leak dripping from the inner tub.
I do appliance repair, and after evaluating, I think it’s the gasket at the seam between the tub sides. I would continue to use it if I had a concrete floor. I suspect it may worsen eventually, but it could operate without issue for years.
It could be replaced at minimal material expense, but would take several hours and this type of repair isn’t often worth it on an older machine.

Fair Chance Policy: I’ll wait before choosing a recipient to give more people a chance to reply.