I'm curious what your thoughts are about the Jimmy Johnson era in Miami, in particular Marino's reduced production during that time. Was Marino over the hill when Johnson got there, or did Johnson unwisely try to install the same kind of system he had in Dallas?