no wrl for red-game-theme