I did not do a dump/reload. I have not tried to repair using PHPMyAdmin. I did the "repair table" suggested in the error messages. If you think a dump/reload will work better I can try that. Would you suggest I dump from the currently working host and reload to the broken one or dump from the non-working one and reload it then?
Thanks!