2 later devices reach PRN Thermalcare, Model 3000 through their predicates, nearest generation first.