$9K seems high to me. I was quoted $8 for full PPF at Naples Auto Armour (west coast). And anything in Naples is always expensive.
Not sure where you are, but I've heard good things about Presidential Detailing (Sarasota), Superior (Orlando) and Auto Film Professionals (Jacksonville)...
Hopefully we know for sure in (less than) two weeks, but I'm just repeating what I've been told. Tiger Eye was expected, but I'd hoped for a better blue. And I guess white is inoffensive, and may look good with carbon extras. Disappointing though.