I got a citation alert and saw this very flattering reference to the paper written with an REU group.

Unfortunately, I discovered years later that the result was already proven by Babai in the 70's. His paper was in German and the only reference I could find was in Lovasz's book of combinatorics problems.

At the very least, now it is easier to find the result.