Herbie Fully Loaded came out on DVD today and I took the 3 yr old to pick it up (with much excitement on his part).

 

I'm just posting to confirm that the Blacksmoke "Herbie Fully Loaded Remix" does appear in the movie -- at the very end of the credits -- in a pseudo 5.1 mix.  That is, some of the zooming noises and car horn honks appear in the rear channels, but all the music takes place up front.

 

-paul