Trademarks owned by Autotote Enterprises, Inc.