Yep. They're 3mm thicker than the ones they replaced. I don't like my strings EBG low and I kind of like them where they are, but they're too high if I'm being practical.
Troy, are your Yamahiko adjusters bottoming out?