> it would cost $30,000 to replace the floor.

IANAL, to comment on the court's ruling. But $30k seems kinda high to just get rid of the offensive symbols.

If stuck in the homeowner's shoes - I'd quietly ask local rabbis for ideas. They might know a contractor who'd give a nice discount on the removal & replacement. Perhaps a very nice discount, if you were open to the floor being "creatively repurposed in unflattering circumstances" elsewhere.