The logs show that the sync completed and mgr-sync correctly lists the 12sp5 products/channels. It's as though there is some inconsistency somewhere. And it seemed the system is functioning correctly because at the same time that I added 12sp5, I also added 15sp1 and that is working.