Just wanted to chime in here Charles, alot of my customers use ADT pulse and as jautor pointed out and as you found in the manual, as long as the devices are on their list, you shouldn't have any problems if you DIY. I must have at least a dozen customers who have used the GE Jasco 45602, 45603, and all the switches (45609/45612 and 3-way aux 45610) on their Pulse network with no problems. The entire GE Jasco line is on their list, as well as Leviton Vizia RF line is supported as well. I am currently researching the Evolve line with another customer who wants to use those for his Pulse system as well, so will post back once I know more.
Hope that helps!