Nope, just the regular blue ones. Like, so so ordinary. Why would anyone bother to nick them? I’m still scratching my head over that one.