honda insight with blown head gasket

I have a friend with a 2000 Honda Insight and the dealership wants 1100.00 to replace a leaking head gasket.. Does anyone out there have any info on a
problem with this on these cars ?
Add pictures here
<% if( /^image/.test(type) ){ %>
<% } %>
Add image file
Upload is a website by car enthusiasts for car enthusiasts. It is not affiliated with any of the car or spare part manufacturers or car dealers discussed here. All logos and trade names are the property of their respective owners.