ZigBee RF4CE (RF for Consumer Electronics) is a new standard for enhanced control of home entertainment devices. With RF technology, larger range, higher flexibility, and enhanced topologies are supported. Being based on RF communications rather Infra Red, analysis of RF4CE networks imposes some unique challenges. This paper describes some of these changes and how they are addressed by state-of-the-art analysis tools.