Würden sie doch wenigstens noch ein umgedrehtes Ausrufezeichen vor das Hola! schreiben (¡Hola!), wäre das für mich auch in Ordnung. Hola! kommt so nämlich nicht im Spanischen vor.
Bei uns (FR, MJ20) begrüßt uns auch ein Hola!. Ich werde unseren Freundlichen mal darauf ansprechen, finde eigentlich das Tarraco mit der Kontur schöner (und so haben wir ihn auch bestellt).