I have solved the problem, though not how I thought I would. I took the advice of rkaufmann87 and Mark P. and downloaded a copy of CCC. I already have an external hard drive I bought to make backups of this machine, but I hadn't formatted it correctly. When I kicked off the clone, I saw that there was a file on my son's account that was FAR larger than I thought anything on his ID was. It turns out that it was:
Ez7a.app/Contents/Resources/tempLog.txt
And this .txt file was OVER 700 GB!! I just nuked it and the software from the computer, and voila - problem gone. I couldn't see the size of this file in Disk Inventory - I guess because it was under another user's ID. Lessno learned - log onto EACH user's ID to check the size of the files. Unless someone has some advice on how to check files in other users' directories.
Thanks for the help, guys.