The +/- distinction is splitting hairs. MUST/SHOULD/MAY are enough to convey any distinctions.
Also, although MD5 has some know problems, the fact that it's faster than SHA1 and provides enough security for most uses implies that it should be a "SHOULD", if not a "MUST"
Also, AES-CBC should be a "MUST".
--Paul Hoffman, Director --VPN Consortium