Unfortunately, it’s more of the latter. But the good news is there there are a couple compatibility lists you can consult, containing user reports of inserts that work. The bulbs you referenced are just 5 or 6 inch can inserts so your electrician can still use the cans he’s accustomed to. I didn’t see Satco on any of the lists. You might be better off asking your electrician to buy a tested model or buy them yourself.
There are several lists to check. The first is the bulb compatibility chart. The second is a list that Inovelli has compiled in anticipation of a new app. (The Wiki embedded app doesn’t seem to be up right now but I’ll post the link.)