He's around 7" diameter now I think that is the biggest it gets.
Males tend to be smaller than females, but yours is exceptionally small for the species. In my experience males grow to 10-14 inches....females can be twice that size. Seen Huge ones in canals that were well over 30 inches.