At JCF all the special use airspace is designated as enroute airspace. So they follow the enroute section in Appendix A to count it. JCF also has no automated count, so all the traffic is counted manually every hour from flight strips.
If you're at a terminal facility, since there's no guide on how a terminal facility counts it, I'd guess that you won't get an extra count for it. There is the military add-on count, however.