I will make a recommendation that we simply down-tag. I think dropping the 
packet will cause nothing but a communication outage, which can lead to a very 
difficult troubleshooting session. So the new text is:

<new text>
6.14.  IEEE 802.11 Station QoS Profile

   The IEEE 802.11 Station QoS Profile message element contains the
   maximum IEEE 802.11e priority tag that may be used by the station.
   Any packet received that exceeds the value encoded in this message
   element MUST be tagged using the maximum value permitted by to the
   user.  The priority tag MUST be between zero (0) and seven (7).  This
   message element MUST NOT be present without the IEEE 802.11 Station
   (see Section 6.13) message element
</new text>