Steven,
That sounds pretty high ! $1200 euro = $1765 USD
Here is what I was quoted for the 30k mi service :
Dealer 1 $850
Dealer 2 $1499
Dealer 3 $1140
Dealer 4 $920
Dealer 5 $1000
Dealer 6 $672
Dealer 7 $1200
And the 45k mi service :
$651.00 Joe Rizza
$599.00 Loeber Motors
$560.00 Motor Werks
$625.00 Napleton Westmont
$675.00 Napleton Rockford
$815.00 Porsche Exchange
( 80 km = 50 mi )
Here's what is required for maintence :
http://www.986faq.com/7-0/schedule.asp#001-002
And here's info on the temp sensor :
http://www.986faq.com/7-0/default.asp#006
http://986forum.com/forums/showthread.php?t=13962
Hope this helps...
Nick