Disney Racers is a line of die-cast cars sold at Disneyland and Walt Disney World theme parks in 2009. The cars are in the forms of Disney characters and theme park attractions -- including a Kermit the Frog car.
A second Muppet racer - an Animal inspired car - was released in early 2012; sold in a two-pack set along with the Kermit the Frog racer.