why do you want a 9k redline ?
Just get a CTR or ITR cluster , so it looks like you can rev to 9k.