On my previous boat, I have been through that repair before also, and I think LouC is right on the money. I was also thinking $4000 to $6000 for that job.
I hope you are not dealing with a big marina that charges $100/hr. I had work done by a father & son fiberglass shop and got good workmanship for a fair price.
_________________

"Knot Easy" 2000 Horizon 240 Volvo 5.7GS /SX
tow: 2017 Honda PILOT EXL-AWD
prev. boats:
'87 Chaparral 198CXL 4.3 OMC Cobra
'69 Jetstar 16ft Ski Boat, 115hp Yamaha
'68 Aluminum Jon Boat, 3hp Sears
'64 Water Wings