In such circumstances, beloved GUI tools such as MySQL Workbench ... export using more than a dozen formats, modify MySQL users and privileges, and – my favorite—execute ad-hoc queries.