Noticed changes a week ago to add these printers in, but I do not see the corresponding ppd files for them. Maybe they are not added in yet?