Apparently you do, since such is specified in the documentation, and since without the "INDEXED BY," the query takes a good 10-20 seconds to run, so it is clearly not using the index. (Which may be yet another indication that my index was incorrectly created.)