It isn't old, it is still in effect. Her trademark on IVXX is still registered with the USPTO.
Mark: IVXX Trademark image US Serial Number: 85979163 Application Filing Date: Jun. 20, 2011 US Registration Number: 4400287 Registration Date: Sep. 10, 2013 Register: Principal Mark Type: Trademark Status: Registered. The registration date is used to determine when post-registration maintenance documents are due. Status Date: Sep. 10, 2013 Publication Date: Jun. 25, 2013