diff --git a/collects/meta/props b/collects/meta/props
index a973183ed3..2a3e32e5f1 100755
--- a/collects/meta/props
+++ b/collects/meta/props
@@ -1200,7 +1200,7 @@ path/s is either such a string or a list of them.
 "collects/redex/examples/combinators.rkt" drdr:command-line (mzc *)
 "collects/redex/examples/compatible-closure.rkt" drdr:command-line (mzc *)
 "collects/redex/examples/delim-cont/randomized-tests-test.rkt" drdr:timeout 240 drdr:random #t
-"collects/redex/examples/delim-cont/randomized-tests.rkt" drdr:command-line (racket "-tm" * "--" "--rules" "3000") drdr:timeout 180 drdr:random #t
+"collects/redex/examples/delim-cont/randomized-tests.rkt" drdr:command-line (racket "-tm" * "--" "--rules" "2250" "--size" "3") drdr:timeout 240 drdr:random #t
 "collects/redex/examples/delim-cont/test.rkt" drdr:command-line (mzc *)
 "collects/redex/examples/letrec.rkt" drdr:command-line (mzc *)
 "collects/redex/examples/omega.rkt" drdr:command-line (mzc *)
diff --git a/collects/redex/examples/delim-cont/randomized-tests.rkt b/collects/redex/examples/delim-cont/randomized-tests.rkt
index 89fe117fd2..17f4a878cd 100644
--- a/collects/redex/examples/delim-cont/randomized-tests.rkt
+++ b/collects/redex/examples/delim-cont/randomized-tests.rkt
@@ -11,8 +11,12 @@
 (define (main . args)
   (define from-grammar-tests #f)
   (define from-rules-tests #f)
+  
   (define seed (add1 (random (sub1 (expt 2 31)))))
   
+  (define size #f)
+  (define attempt->size default-attempt-size)
+  
   (command-line
    #:argv args
    #:once-each
@@ -27,16 +31,23 @@
    ["--seed"
     n
     "Generate tests using the PRG seed n"
-    (set! seed (string->number n))])
+    (set! seed (string->number n))]
+   ["--size"
+    n
+    "Generate tests of size at most n"
+    (set! size (string->number n))
+    (set! attempt->size (const size))])
+  
+  (printf "Test seed: ~a (size: ~a)\n" seed (or size "variable"))
   
-  (printf "Test seed: ~s\n" seed)
   (parameterize ([current-pseudo-random-generator test-prg])
     (random-seed seed))
+  
   (parameterize ([redex-pseudo-random-generator test-prg])
     (when from-grammar-tests
-      (time (test #:attempts from-grammar-tests)))
+      (time (test #:attempts from-grammar-tests #:attempt-size attempt->size)))
     (when from-rules-tests
-      (time (test #:source :-> #:attempts from-rules-tests)))))
+      (time (test #:source :-> #:attempts from-rules-tests #:attempt-size attempt->size)))))
 
 (define-syntax-rule (test . kw-args)
   (redex-check grammar p (same-behavior? (term p))