default of 3800 in usage() statement was incorrect, the defautl is actually 7500
Authored by: sms00 2003-07-29
Parent: [r1899]
Child: [r1901]
