hey. i am getting an AEM EMS and having it tuned obviously with the redline moved up to 9500 because my shop told me they car makes power up to about 9300 area... anyways. they quoted me 975 installed for a set of supertech dual valve springs and retainers... is that about right? thanks.