If you elect to do plugs (mine were done at 28k, 37k is the max called for in the manual), buy the plugs yourself and have them do the labor. I just did that and the labor was $125 (1.5 hrs at $85/hour) and I paid ~$80 for the plugs on Amazon. ~$200 all in. $579 is outrageous even if you did buy the plugs from the dealer.
16 GT3 | DBM