Songs used in the iPad Mini ads/introductions.

I know the Smart Cover ad uses The Lupine Waltz by The Real Tuesday Weld.

What about the iPad Mini ad where it plays garageband, accompanying the bigger iPad?

And does anyone know what songs were used in the iPad Mini video with Jony Ives? I know there are a few.