did the 2000 model civic vtir coupe's come with a "red key" like the DC2Rs?