We have purchased a used 1988 TrailManor 22 and need to know the weight of the trailer in order to license it in Texas

We did find a GVWR 3850  and was wondering if this is the weight (Gross vehicle weight rating)