That's a very lenient policy regarding ILC gear. Just to be safe, I'd print out the page with that information and stick it in your back pocket. If you run into a newly hired security worker, he may not realize that such gear is allowed through (it often isn't).