I wrecked a Jet Ski, tell me if this seems reasonable.?

I hit a dock, messed up the front hull pretty bad. I did pierce the inner hull where the gas tank and engine are however not near as bad! The repair guy said that it would be over 4000 in repair! Doesnt that seem a bit high?