Yep, those are the ones we talked about.
I got a tad concerned because browsing the net I saw some selling what appears to be a circuit breaker but it's actually a supplementary protector. They look the same, but in no way can you use one in place of a real circuit breaker.
I'll explain later, late for work.
