Board Thread:General Discussion/@comment-32261361-20170611192108/@comment-8717521-20170701161501

They could be JNPR again. Oscar's surname is Pine.