Cost of repair on a blown Head gasket on 2000 Porsche Boxster

billowing white smoke out of exhaustm engine was not overheated

2 answers
On the 2.7 Boxter my labor guide says 13.5 hours to replace the head gaskets.
about 13.5 hours cost with head work and gasket sets 2800