I think you made a fine choice. I owned a TV76 and have used many FC76 scopes. The advantage of the TV76 is it's huge FOV packed in a short package. But I found I couldn't take advantage of the large FOV because of the field curvature. I determined the usable, in focus FOV using a 31 Nagler in my TV76 was the same size as in my TV85, which maintained nice sharp stars to the edge.
The FC76 is a very nice scope under the stars, but doesn't have the same small profile that the TV76 does. So there are some trade offs either way. But given the FC76 is a small scope anyway, I think overall you made a good choice.