Well done, Carlos.  The double negative may be confusing.  Could we go 
for "dock 5 on" instead of "nodock 5 off"?

-- 
James Cameron    mailto:quozl at us.netrek.org     http://quozl.netrek.org/