In April of this year, DIRECTV applied for a GENIE LITE trademark. Will this be a new name for the Genie Mini or will it be a cost-reduced Genie? Also in April, DIRECTV applied for a trademark on DIRECTV COPILOT. The odd part is that in September 2011, they abandoned a trademark on DIRECTV CO-PILOT. It strikes me as odd that GenieGO, Genie Mini and Wireless Genie Mini aren't registered.