Hi Bowie, welcome to our family. An "expert" will answer shortly, but in the mean time I'll throw this out there. I'd put the pea gravel in, because whether you do or don't the same amount of sediment in going to come in on that spot, and when the fish fan it away they will have pea gravel to lay there eggs in instead of a hard clay bottom.
