No sir that was the only choke tube that was on it when purchased from other member. I have also owned several of the 835's over the years, but like you I prefer the semi auto. My other 935 I have owned for 20 years and it has been flawless. I have not made it back to the gun safe to check after...
First one was purchased last year from KnightRider it was cleaned and put in safe and never shot by me. I attached his photos and info from original post. Mossberg 935 with hevishot 676 choke tube Attached pic of 40 yard target with apex 3.5 2.5 oz #9 $425
Second one is older 935 synthetic but...