Just an FYI- code a113400 has been a great rate for Wash. Dulles and DCA over the past few months for me. But I tried using in on Orlando and they refused it. It is a FLA state worker code and I guess in FLA they will card you.
But in the DC area it drops daily rates to less than $40 a day, sometimes less then $30.