Rob Machado is an amazing surfer, no question about it, and I'm seriously considering hero worship.
But... is it Makhado? Mashado? Or Machado (with the 'ch' as in 'chilli')?
Inquiring minds want to know.
And the announcers were no help whatsoever, as they said all three, at different times, and his official page doesn't include a pronunciation guide.