I would keep it as is although always beneficial to vent I think the cost to do this extra work wont be worth it for the limited use. All micros can vent indoors with the use of a ventless filter kit generally supplied in the unit.
It is super convenient in like a bar setup but they are noisy expensive to run and require a lot of maintenance. I don’t usually like them in most situations.
This is a common issue and a design flaw if this range many consumers complaining of the same issue. Amazon sells some after market ones that are less expensive better to buy a backup set as no real solution given by Samsung at the moment.
They do not last as long as they use to that is for sure. Keep it simple is my best suggestion and look at the GE line up they make a good product as does Bosch that will last for years!