Rob Machado's album?

Does the guy have album/s out? I seen credits for his music at the end of a surf movie yesterday, but can't find any albums on the net!
Can anyone point me in the right direction?
Cheers
Can anyone point me in the right direction?

Cheers