> You are free to copy, distribute, transmit and adapt our data, as long as you credit OpenStreetMap and its contributors. If you alter or build upon our data, you may distribute the result only under the same licence. The full legal code explains your rights and responsibilities.
http://www.openstreetmap.org/copyright
Although IANAL, and it's not clear to me if rendering an independent set of data on top of the unchanged OSM data layer (i.e. effectively render two maps, on with some transparent sections) counts as building on top of the OSM database. So maybe they wouldn't even need to use the ODbL for their own data.