The real issue is whether an ECN bit is reserved, or not reserved.
it's not "reserved" -- the ECN bits are assigned by RFC 3168 i.e. ECN is a proposed standard and the bits that it uses in the IP header are fully assigned Scott