Are we being fleeced for this cereal? Lucky charms?

They recently started being sold in Ireland, and they cost (in our currency, €7.99 per box) which is $11.50 US Dollars.