We have developed a model checker for the trees generated by higher-order recursion schemes against properties specified using alternating parity tree automata. The tool and benchmarks are available for download: travmc2.zip