Their theme manager is a version of Stardock's Theme manager, the two skins included seem to be built in to the manager itself, so i don't we can use WB to switch to the alienware skins, i'm not sure though. From what i read if you have stardock's theme manager when you install Alienware's manager it'll add the two themes into SD's manager. .