We got this taken care of in his ticket. But for the benefit of others, we fixed it by running the following SQL command in the control panel (after closing the board and making a backup):
OPTIMIZE TABLE w3t_Posts