Yesterday I ran across a box for a 8-3/8" gun complete with tools and books. Looks to be for a late 1970s gun based on the literature. No gun of course, or both the box and gun would be home with me now
PM me and I can give the shop's info if you want it.