The trussrod allen wrench is not included. I've had troubles finding the right tool here in Germany for the trussrod myself.
I'm pretty sure your trussrod is not stripped, it's just an unusual size that you have to buy an extra wrench for.

From the website:

"Our top adjust truss rod uses a 9/64" Allen wrench (not included)"