I just used elbow grease and wet sanded with 240 grit.

A couple hours on Saturday, and a couple more on Sunday got it down to the white gel coat.

I got it primed and the white base coat down yesterday.

3 7/8" sounds about right.