Minor nitpick: I don't know how to say "Jolla". I mean I know that "Jolla" is pronounced "Hoya" in European Spanish ("Hosha" in Argentinian), but in most European languages it'd be "Yolla" with a soft "j" and the naive English pronunciation would be "Djolla". I don't know which was the intended one.
Not that it really matters I suppose, but why go to all that trouble building an apparently lovely device and giving it a slightly cumbersome name?