CME does match implied options prices but for only a limted group of options strategies...cal spreads, verticals, stradle, strangle and I think a few more
There are players out there replicating the implieds and I know the implied prices are generally tradable. There are a lot prices that can go into implied prices for options as you're dealing with much more than just calender spreads. This has to a ripe market with alot of potential.