If you really believe they can be trivially invalidated, then it sounds like you should probably help out the patent office and initiate a patent challenge show

If you really believe they can be trivially invalidated, then it sounds like you should probably help out the patent office and initiate a patent challenge showing the prior art, so they can invalidate the RED patent? Hit up https://www.uspto.gov/web/offices/pac/mpep/s2206.html https://www.uspto.gov/web/offices/pac/mpep/s2206.html so that the USPTO can actually do the work necessary here because you prompted them to (they're not going to invalidate a patent until someone shows they should. They are backlogged for years on their regular queues already).