According to BAG there is an exception for Spain where pensioners can take out health insurance in Spain, not Swiss - subject to a set of rules, see below.
You have to apply to the Gemeinsame Einrichtung KVG in Olten.
More here .
"Wenn Sie in Deutschland, Frankreich, Italien, Österreich oder Spanien wohnen, haben Sie und ihre nicht erwerbstätigen Familienangehörigen die Möglichkeit, sich von der Versicherungspflicht in der Schweiz befreien zu lassen, wenn Sie sich dem Krankenversicherungssystem des Wohnstaats anschliessen (so genanntes Versicherungsoptionsrecht).
Spezialfall Spanien
Personen, die eine schweizerische Rente erhalten, ohne auf eine spanische Rente Anspruch zu haben, sind zusammen mit ihren nicht erwerbstätigen Familienangehörigen der obligatorischen Krankenversicherung in der Schweiz unterstellt.
Das so genannte „convenio especial“ ist eine Vereinbarung zwischen der Schweiz und Spanien (Sozialversicherungsabkommen).
Anwendbar ist es nur für Staatsangehörige dieser beiden Staaten und gibt den Personen die Möglichkeit, sich von der obligatorischen Krankenversicherung in der Schweiz befreien zu lassen.
Das Informationsblatt finden Sie unter Downloads Rentner ."
Persons who do not wish to take out Swiss health insurance must submit an application for exemption to the Common Institution under the KVG in Olten within three months of receiving their first pension payment or moving to an EU country (no such deadline applies for Spain) .
This would mean that it is not a one time option but can do it later?
The prices for health insurance for EU residents are given in this document, see page 25 for Spain:
https://www.priminfo.admin.ch/downlo…bericht_eu.pdf
For Sanitas I see 391.10 francs, did they include some compementary insurance to reach 420?
Anyhow, getting insured at Mutuel seems to be a bit cheaper 255.00 francs. Otherwise check the cost of a Spanish insurnce.