If you just make new posts (done after he has been set as muted) by the muted user muted the problem wouldn't arise. The old posts can be removed by hand, which only has to be done once, so it shouldn't be much of a problem.
Donate to UBBDev today to help aid in Operational, Server and Script Maintenance, and Development costs.
Please also see our parent organization VNC Web Services if you're in the need of a new UBB.threads Install or Upgrade, Site/Server Migrations, or Security and Coding Services.