How much is the registration fee for a name change? The ‘Jollaboys’ should do this.
edit: Suggestion: something computer related and/or that a customer can recognize as the good old Jolla restructured: Jollasystems, JollaOS, Jollatech, NewJolla, JollaRecreation, JoPho (Jolla phone), JoFo, or at best some finnish marine related term after Jolla.