diff --git a/collects/typed-scheme/lang/reader.rkt b/collects/typed-scheme/lang/reader.rkt
index 876f259f..56eb2946 100644
--- a/collects/typed-scheme/lang/reader.rkt
+++ b/collects/typed-scheme/lang/reader.rkt
@@ -10,4 +10,7 @@ typed-scheme
 
 (define (make-info key default use-default)
   (case key
+    [(drscheme:toolbar-buttons)
+     (list (dynamic-require 'typed-racket/optimizer/tool/tool
+                            'optimization-coach-drracket-button))]
     [else (use-default key default)]))
diff --git a/collects/typed/racket/base/lang/reader.rkt b/collects/typed/racket/base/lang/reader.rkt
index 849ff945..053ed28d 100644
--- a/collects/typed/racket/base/lang/reader.rkt
+++ b/collects/typed/racket/base/lang/reader.rkt
@@ -9,6 +9,9 @@ typed/racket/base
 
 (define (make-info key default use-default)
   (case key
+    [(drscheme:toolbar-buttons)
+     (list (dynamic-require 'typed-racket/optimizer/tool/tool
+                            'optimization-coach-drracket-button))]
     [else (use-default key default)]))
 
 (define make-language-info
diff --git a/collects/typed/racket/lang/reader.rkt b/collects/typed/racket/lang/reader.rkt
index 257a2ae4..1252857c 100644
--- a/collects/typed/racket/lang/reader.rkt
+++ b/collects/typed/racket/lang/reader.rkt
@@ -9,6 +9,9 @@ typed/racket
 
 (define (make-info key default use-default)
   (case key
+    [(drscheme:toolbar-buttons)
+     (list (dynamic-require 'typed-racket/optimizer/tool/tool
+                            'optimization-coach-drracket-button))]
     [else (use-default key default)]))
 
 (define make-language-info
diff --git a/collects/typed/scheme/base/lang/reader.rkt b/collects/typed/scheme/base/lang/reader.rkt
index 6da86b0d..490d0faa 100644
--- a/collects/typed/scheme/base/lang/reader.rkt
+++ b/collects/typed/scheme/base/lang/reader.rkt
@@ -9,6 +9,9 @@ typed/scheme/base
 
 (define (make-info key default use-default)
   (case key
+    [(drscheme:toolbar-buttons)
+     (list (dynamic-require 'typed-racket/optimizer/tool/tool
+                            'optimization-coach-drracket-button))]
     [else (use-default key default)]))
 
 (define make-language-info
diff --git a/collects/typed/scheme/lang/reader.rkt b/collects/typed/scheme/lang/reader.rkt
index 2f51e90f..a909f9f0 100644
--- a/collects/typed/scheme/lang/reader.rkt
+++ b/collects/typed/scheme/lang/reader.rkt
@@ -9,6 +9,9 @@ typed/scheme
 
 (define (make-info key default use-default)
   (case key
+    [(drscheme:toolbar-buttons)
+     (list (dynamic-require 'typed-racket/optimizer/tool/tool
+                            'optimization-coach-drracket-button))]
     [else (use-default key default)]))
 
 (define make-language-info