diff --git a/collects/meta/props b/collects/meta/props
index aad9355dd4..f172b21c84 100755
--- a/collects/meta/props
+++ b/collects/meta/props
@@ -1233,6 +1233,7 @@ path/s is either such a string or a list of them.
 "collects/redex/private/size-snip.rkt" drdr:command-line (gracket-text "-t" *)
 "collects/redex/private/stepper.rkt" drdr:command-line (gracket-text "-t" *)
 "collects/redex/private/traces.rkt" drdr:command-line (gracket-text "-t" *)
+"collects/redex/private/tut.scrbl" drdr:timeout 300
 "collects/redex/tests/bitmap-test-util.rkt" drdr:command-line (gracket-text "-t" *)
 "collects/redex/tests/bitmap-test.rkt" drdr:command-line (mzc "-k" *)
 "collects/redex/tests/check-syntax-test.rkt" drdr:command-line (mzc *)